Test ran at 2025-03-13 12:59:59.961953+00:00

SOLUTION:
partord=1.0.0: Small library for sorting with partial orders
Origin: commit 30057d94d0ebda3278b329a5e8be46cf1caedd52 from https://gitlab.com/my-ada-library/partord.git
Properties:
   Author: Riccardo Bernardini
   Description: Small library for sorting with partial orders
   License: MIT
   Long_Description: This is a generic library that exports a sorting function that can operate with partial ordering, that is, it can happen that for some A /= B neither A < B nor A > B hold.
   Maintainer: Riccardo Bernardini <riccardo.bernardini@uniud.it>
   Maintainers_Logins: fintatarta
   Name: partord
   Project_File: partord.gpr
   Tag: sorting
   Version: 1.0.0
   Website: https://gitlab.com/my-ada-library/partord/


LOG:
Spawning: alr -d -n get --build partord=1.0.0
Note: Deploying partord=1.0.0...
Note: Migrating lockfile from /home/runner/work/alire-crates-ci/alire-crates-ci/test/b852fca5-fec6-4007-b96e-abc3d725bcbf/partord_1.0.0_30057d94/alire.lock to /home/runner/work/alire-crates-ci/alire-crates-ci/test/b852fca5-fec6-4007-b96e-abc3d725bcbf/partord_1.0.0_30057d94/alire/alire.lock
Note: Alire has selected automatically this toolchain:
   gprbuild=22.0.1
   gnat_native=14.2.1
You can select a different toolchain at any time with `alr toolchain --select`
Download will start now:
Note: Deploying gprbuild=22.0.1...
#=#=#                                                                          

##################                                                        25.3%
###################################################################       93.4%
######################################################################## 100.0%
Note: gprbuild=22.0.1 installed successfully.
Note: Deploying gnat_native=14.2.1...
#=#=#                                                                          

                                                                           0.6%
######                                                                     8.8%
############                                                              17.7%
###################                                                       26.6%
#########################                                                 35.1%
###############################                                           44.2%
######################################                                    53.4%
############################################                              62.0%
##################################################                        70.8%
#########################################################                 79.5%
###############################################################           88.2%
#####################################################################     96.6%
######################################################################## 100.0%
Note: gnat_native=14.2.1 installed successfully.
Note: Building partord=1.0.0/partord.gpr...
Compile
   [Ada]          partial_order_sorting.ads
   [Ada]          partial_order_sorting-array_sort.adb
Build Libraries
   [gprlib]       Partord_Lib.lexch
   [archive]      libPartord_Lib.a
   [index]        libPartord_Lib.a

partord=1.0.0 successfully retrieved and built.
There are no dependencies.
Found declared GPR file: partord.gpr