atomic 0.3 & bbqueue 0.2 (#273)

2021-04-29 11:10:50 +02:00
parent 031433907d
commit dec4ee467b
2 changed files with 37 additions and 0 deletions
@@ -0,0 +1,15 @@
+name = "atomic"
+description = "Standalone Ada/SPARK bindings to GCC atomic built-ins"
+version = "0.3.0"
+
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+website = "https://github.com/Fabien-Chouteau/atomic"
+tags = ["atomic", "spark", "embedded", "nostd"]
+
+[origin]
+commit = "0371353e27dcad8f4c0d53bea0c319636bc2b49e"
+url = "git+https://github.com/Fabien-Chouteau/atomic.git"
+
@@ -0,0 +1,22 @@
+name = "bbqueue"
+description = "DMA friendly lock-free BipBuffer"
+version = "0.2.0"
+
+licenses = "MIT"
+authors = ["Fabien Chouteau"]
+maintainers = ["Fabien Chouteau <chouteau@adacore.com>"]
+maintainers-logins = ["Fabien-Chouteau"]
+tags = ["spark", "nostd", "embedded", "lockfree", "dma", "bipbuffer"]
+website = "https://github.com/Fabien-Chouteau/bbqueue-spark"
+
+long-description = """An Ada/SPARK proved implementation of James Munns'
+BBQueue (https://github.com/jamesmunns/bbqueue)"""
+
+[[depends-on]]
+atomic = "~0.3"
+gnat = ">=10"
+
+[origin]
+commit = "48694afc6b4e088a33592e1e19243fdd1bb38ad7"
+url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
+