Test ran at 2024-09-24 01:25:01.844784+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 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 /home/runner/work/alire-crates-ci/alire-crates-ci/test/61e8cf65-82de-4cb1-96e7-2d2e03e1c07e/partord_1.0.0_30057d94/alire.lock to /home/runner/work/alire-crates-ci/alire-crates-ci/test/61e8cf65-82de-4cb1-96e7-2d2e03e1c07e/partord_1.0.0_30057d94/alire/alire.lock Note: Building partord/partord.gpr... Compile [Ada] partial_order_sorting-array_sort.adb [Ada] partial_order_sorting.ads Build Libraries [gprlib] Partord_Lib.lexch [archive] libPartord_Lib.a [index] libPartord_Lib.a Build finished successfully in 0.36 seconds. partord=1.0.0 successfully retrieved and built. There are no dependencies. Found declared GPR file: partord.gpr