Test ran at 2024-04-03 12:54:52.611230+00:00

SOLUTION:
bbqueue=0.3.2: DMA friendly lock-free BipBuffer
Origin: commit 5e5007cf9d767f06c12b737a155eb608c58942b3 from https://github.com/Fabien-Chouteau/bbqueue-spark.git
Properties:
   Author: Fabien Chouteau
   Build Switches: 
   Description: DMA friendly lock-free BipBuffer
   License: MIT
   Long_Description: An Ada/SPARK proved implementation of James Munns'
BBQueue (https://github.com/jamesmunns/bbqueue)
   Maintainer: Fabien Chouteau <chouteau@adacore.com>
   Maintainers_Logins: Fabien-Chouteau
   Name: bbqueue
   Tag: spark
   Tag: nostd
   Tag: embedded
   Tag: lockfree
   Tag: dma
   Tag: bipbuffer
   Version: 0.3.2
   Website: https://github.com/Fabien-Chouteau/bbqueue-spark
Dependencies (direct):
   atomic~0.5
   gnat>=10
Dependencies (solution):
   atomic=0.5.0
   gnat=13.2.1 (gnat_external) (installed)
Dependencies (graph):
   bbqueue=0.3.2 --> atomic=0.5.0 (~0.5)               
   bbqueue=0.3.2 --> gnat=13.2.1 (gnat_external) (>=10)


LOG:
Note: Deploying bbqueue=0.3.2...
Note: Deploying atomic=0.5.0...
Note: Building bbqueue/bbqueue.gpr...
Setup
   [mkdir]        object directory for project Atomic
   [mkdir]        library directory for project Atomic
   [mkdir]        object directory for project Bbqueue
   [mkdir]        library directory for project Bbqueue
Compile
   [Ada]          atomic-unsigned.adb
   [Ada]          atomic-signed.adb
   [Ada]          atomic.adb
   [Ada]          atomic_config.ads
   [Ada]          atomic-signed_8.ads
   [Ada]          atomic-signed_16.ads
   [Ada]          atomic-signed_32.ads
   [Ada]          atomic-unsigned_16.ads
   [Ada]          atomic-unsigned_32.ads
   [Ada]          atomic-unsigned_8.ads
   [Ada]          bbqueue_config.ads
   [Ada]          bbqueue.adb
   [Ada]          bbqueue-buffers.adb
   [Ada]          bbqueue-buffers-framed.adb
Build Libraries
   [gprlib]       Atomic.lexch
   [gprlib]       Bbqueue.lexch
   [archive]      libAtomic.a
   [index]        libAtomic.a
   [archive]      libBbqueue.a
   [index]        libBbqueue.a
Build finished successfully in 0.50 seconds.

bbqueue=0.3.2 successfully retrieved and built.
Dependencies were solved as follows:

   +  atomic 0.5.0  (new)                        
   +i gnat   13.2.1 (new,installed,gnat_external)
Found declared GPR file: bbqueue.gpr