Test ran at 2024-04-25 12:43:43.208881+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:
Note: Deploying partord=1.0.0...
Note: Migrating lockfile from D:\a\alire-crates-ci\alire-crates-ci\test\28f1098e-598f-4b95-9ecb-f9e7f2b0f378\partord_1.0.0_30057d94\alire.lock to D:\a\alire-crates-ci\alire-crates-ci\test\28f1098e-598f-4b95-9ecb-f9e7f2b0f378\partord_1.0.0_30057d94\alire\alire.lock
Note: Building partord/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
Build finished successfully in 0.67 seconds.

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