Test ran at 2022-05-31 16:01:59.290061+00:00

SOLUTION:
spark_unbound=0.2.1: Unbound data structures in Ada-Spark
Origin: commit 1f8dae0167b56dbbfcc0cbe40c833a95443d2556 from https://github.com/mhatzl/spark_unbound.git
Properties:
   Author: Manuel Hatzl
   Description: Unbound data structures in Ada-Spark
   License: MIT
   Long_Description: Spark_Unbound is a take on providing generic unbound data structures in Spark.

In addition to proving general absence of runtime errors, the heap allocation is done in a non-Spark function to catch a possible `Storage_Error`.
This further increases the security and confident use of this library.

**The following packages are currently available:**

- `Spark_Unbound.Safe_Alloc`: Providing formally proven safe heap allocation functionality
- `Spark_Unbound.Arrays`: Providing a formally proven alternative to `Ada.Containers.Vector`

**Note:** If you use this library, starring the repository on GitHub helps me a lot to see if it is even useful for someone else.

   Maintainer: Manuel Hatzl <hatzlmanuel@outlook.com>
   Maintainers_Logins: mhatzl
   Name: spark_unbound
   Tag: spark
   Tag: unbound
   Version: 0.2.1
   Website: https://github.com/mhatzl/spark_unbound
Dependencies (direct):
   gnat(>=9.3.1 & <2000) | >=2021
Dependencies (solution):
   gnat=11.1.0 (gnat_external) (installed)
Dependencies (graph):
   spark_unbound=0.2.1 --> gnat=11.1.0 (gnat_external) ((>=9.3.1 & <2000) | >=2021)


LOG:
Note: Deploying release spark_unbound=0.2.1...
Cloning into '/home/runner/work/alire-crates-ci/alire-crates-ci/test/16a6a26b-d1d3-4c3c-bf80-48a824760bb9/alr-elgh.tmp'...
remote: Enumerating objects: 488, done.        
remote: Counting objects:   9% (1/11)        
remote: Counting objects:  18% (2/11)        
remote: Counting objects:  27% (3/11)        
remote: Counting objects:  36% (4/11)        
remote: Counting objects:  45% (5/11)        
remote: Counting objects:  54% (6/11)        
remote: Counting objects:  63% (7/11)        
remote: Counting objects:  72% (8/11)        
remote: Counting objects:  81% (9/11)        
remote: Counting objects:  90% (10/11)        
remote: Counting objects: 100% (11/11)        
remote: Counting objects: 100% (11/11), done.        
remote: Compressing objects:  33% (1/3)        
remote: Compressing objects:  66% (2/3)        
remote: Compressing objects: 100% (3/3)        
remote: Compressing objects: 100% (3/3), done.        
Receiving objects:   0% (1/488)
Receiving objects:   1% (5/488)
Receiving objects:   2% (10/488)
Receiving objects:   3% (15/488)
Receiving objects:   4% (20/488)
Receiving objects:   5% (25/488)
Receiving objects:   6% (30/488)
Receiving objects:   7% (35/488)
Receiving objects:   8% (40/488)
Receiving objects:   9% (44/488)
Receiving objects:  10% (49/488)
Receiving objects:  11% (54/488)
Receiving objects:  12% (59/488)
Receiving objects:  13% (64/488)
Receiving objects:  14% (69/488)
Receiving objects:  15% (74/488)
Receiving objects:  16% (79/488)
Receiving objects:  17% (83/488)
Receiving objects:  18% (88/488)
Receiving objects:  19% (93/488)
Receiving objects:  20% (98/488)
Receiving objects:  21% (103/488)
Receiving objects:  22% (108/488)
Receiving objects:  23% (113/488)
Receiving objects:  24% (118/488)
Receiving objects:  25% (122/488)
Receiving objects:  26% (127/488)
Receiving objects:  27% (132/488)
Receiving objects:  28% (137/488)
Receiving objects:  29% (142/488)
Receiving objects:  30% (147/488)
Receiving objects:  31% (152/488)
Receiving objects:  32% (157/488)
Receiving objects:  33% (162/488)
Receiving objects:  34% (166/488)
Receiving objects:  35% (171/488)
Receiving objects:  36% (176/488)
Receiving objects:  37% (181/488)
Receiving objects:  38% (186/488)
Receiving objects:  39% (191/488)
Receiving objects:  40% (196/488)
Receiving objects:  41% (201/488)
Receiving objects:  42% (205/488)
Receiving objects:  43% (210/488)
Receiving objects:  44% (215/488)
Receiving objects:  45% (220/488)
Receiving objects:  46% (225/488)
Receiving objects:  47% (230/488)
Receiving objects:  48% (235/488)
Receiving objects:  49% (240/488)
Receiving objects:  50% (244/488)
Receiving objects:  51% (249/488)
Receiving objects:  52% (254/488)
Receiving objects:  53% (259/488)
Receiving objects:  54% (264/488)
Receiving objects:  55% (269/488)
Receiving objects:  56% (274/488)
Receiving objects:  57% (279/488)
Receiving objects:  58% (284/488)
Receiving objects:  59% (288/488)
Receiving objects:  60% (293/488)
Receiving objects:  61% (298/488)
Receiving objects:  62% (303/488)
Receiving objects:  63% (308/488)
Receiving objects:  64% (313/488)
Receiving objects:  65% (318/488)
Receiving objects:  66% (323/488)
Receiving objects:  67% (327/488)
Receiving objects:  68% (332/488)
Receiving objects:  69% (337/488)
Receiving objects:  70% (342/488)
Receiving objects:  71% (347/488)
Receiving objects:  72% (352/488)
Receiving objects:  73% (357/488)
Receiving objects:  74% (362/488)
Receiving objects:  75% (366/488)
Receiving objects:  76% (371/488)
Receiving objects:  77% (376/488)
Receiving objects:  78% (381/488)
Receiving objects:  79% (386/488)
Receiving objects:  80% (391/488)
Receiving objects:  81% (396/488)
Receiving objects:  82% (401/488)
Receiving objects:  83% (406/488)
Receiving objects:  84% (410/488)
Receiving objects:  85% (415/488)
Receiving objects:  86% (420/488)
Receiving objects:  87% (425/488)
Receiving objects:  88% (430/488)
Receiving objects:  89% (435/488)
Receiving objects:  90% (440/488)
Receiving objects:  91% (445/488)
Receiving objects:  92% (449/488)
Receiving objects:  93% (454/488)
Receiving objects:  94% (459/488)
Receiving objects:  95% (464/488)
Receiving objects:  96% (469/488)
Receiving objects:  97% (474/488)
Receiving objects:  98% (479/488)
remote: Total 488 (delta 9), reused 8 (delta 8), pack-reused 477        
Receiving objects:  99% (484/488)
Receiving objects: 100% (488/488)
Receiving objects: 100% (488/488), 129.42 KiB | 716.00 KiB/s, done.
Resolving deltas:   0% (0/288)
Resolving deltas:   1% (3/288)
Resolving deltas:   2% (6/288)
Resolving deltas:   3% (9/288)
Resolving deltas:   4% (12/288)
Resolving deltas:   5% (15/288)
Resolving deltas:   6% (18/288)
Resolving deltas:   7% (21/288)
Resolving deltas:   8% (24/288)
Resolving deltas:   9% (26/288)
Resolving deltas:  10% (29/288)
Resolving deltas:  11% (32/288)
Resolving deltas:  12% (35/288)
Resolving deltas:  13% (38/288)
Resolving deltas:  14% (41/288)
Resolving deltas:  15% (44/288)
Resolving deltas:  16% (47/288)
Resolving deltas:  17% (49/288)
Resolving deltas:  18% (52/288)
Resolving deltas:  19% (55/288)
Resolving deltas:  20% (58/288)
Resolving deltas:  21% (61/288)
Resolving deltas:  22% (64/288)
Resolving deltas:  23% (67/288)
Resolving deltas:  24% (70/288)
Resolving deltas:  25% (72/288)
Resolving deltas:  26% (75/288)
Resolving deltas:  27% (78/288)
Resolving deltas:  28% (81/288)
Resolving deltas:  29% (84/288)
Resolving deltas:  30% (87/288)
Resolving deltas:  31% (90/288)
Resolving deltas:  32% (93/288)
Resolving deltas:  33% (96/288)
Resolving deltas:  34% (98/288)
Resolving deltas:  35% (101/288)
Resolving deltas:  36% (104/288)
Resolving deltas:  37% (107/288)
Resolving deltas:  38% (110/288)
Resolving deltas:  39% (113/288)
Resolving deltas:  40% (116/288)
Resolving deltas:  41% (119/288)
Resolving deltas:  42% (121/288)
Resolving deltas:  43% (124/288)
Resolving deltas:  44% (127/288)
Resolving deltas:  45% (130/288)
Resolving deltas:  46% (133/288)
Resolving deltas:  47% (136/288)
Resolving deltas:  48% (139/288)
Resolving deltas:  49% (142/288)
Resolving deltas:  50% (144/288)
Resolving deltas:  51% (147/288)
Resolving deltas:  52% (150/288)
Resolving deltas:  53% (153/288)
Resolving deltas:  54% (156/288)
Resolving deltas:  55% (159/288)
Resolving deltas:  56% (162/288)
Resolving deltas:  57% (165/288)
Resolving deltas:  58% (168/288)
Resolving deltas:  59% (170/288)
Resolving deltas:  60% (173/288)
Resolving deltas:  61% (176/288)
Resolving deltas:  62% (179/288)
Resolving deltas:  63% (182/288)
Resolving deltas:  64% (185/288)
Resolving deltas:  65% (188/288)
Resolving deltas:  66% (191/288)
Resolving deltas:  67% (193/288)
Resolving deltas:  68% (196/288)
Resolving deltas:  69% (199/288)
Resolving deltas:  70% (202/288)
Resolving deltas:  71% (205/288)
Resolving deltas:  72% (208/288)
Resolving deltas:  73% (211/288)
Resolving deltas:  74% (214/288)
Resolving deltas:  75% (216/288)
Resolving deltas:  76% (219/288)
Resolving deltas:  77% (222/288)
Resolving deltas:  78% (225/288)
Resolving deltas:  79% (228/288)
Resolving deltas:  80% (231/288)
Resolving deltas:  81% (234/288)
Resolving deltas:  82% (237/288)
Resolving deltas:  83% (240/288)
Resolving deltas:  84% (242/288)
Resolving deltas:  85% (245/288)
Resolving deltas:  86% (248/288)
Resolving deltas:  87% (251/288)
Resolving deltas:  88% (254/288)
Resolving deltas:  89% (257/288)
Resolving deltas:  90% (260/288)
Resolving deltas:  91% (263/288)
Resolving deltas:  92% (265/288)
Resolving deltas:  93% (268/288)
Resolving deltas:  94% (271/288)
Resolving deltas:  95% (274/288)
Resolving deltas:  96% (277/288)
Resolving deltas:  97% (280/288)
Resolving deltas:  98% (283/288)
Resolving deltas:  99% (286/288)
Resolving deltas: 100% (288/288)
Resolving deltas: 100% (288/288), done.
Setup
   [mkdir]        object directory for project Spark_Unbound
   [mkdir]        library directory for project Spark_Unbound
Compile
   [Ada]          spark_unbound-arrays.adb
   [Ada]          spark_unbound-safe_alloc.adb
   [Ada]          spark_unbound.ads
Build Libraries
   [gprlib]       Spark_Unbound.lexch
   [archive]      libSpark_Unbound.a
   [index]        libSpark_Unbound.a

spark_unbound=0.2.1 successfully retrieved and built.
Dependencies were solved as follows:

   +i gnat 11.1.0 (new,installed,gnat_external)