From 9c1101813a7081b2c9b0545d8746f3b28531c4e9 Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Thu, 16 Nov 2023 07:22:28 +0100 Subject: [PATCH] bbqueue 0.3.2 (#896) --- index/bb/bbqueue/bbqueue-0.3.2.toml | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 index/bb/bbqueue/bbqueue-0.3.2.toml diff --git a/index/bb/bbqueue/bbqueue-0.3.2.toml b/index/bb/bbqueue/bbqueue-0.3.2.toml new file mode 100644 index 00000000..3f99fa49 --- /dev/null +++ b/index/bb/bbqueue/bbqueue-0.3.2.toml @@ -0,0 +1,25 @@ +name = "bbqueue" +description = "DMA friendly lock-free BipBuffer" +version = "0.3.2" + +licenses = "MIT" +authors = ["Fabien Chouteau"] +maintainers = ["Fabien Chouteau "] +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)""" + +[build-switches] +release.runtime_checks = "none" + +[[depends-on]] +atomic = "~0.5" +gnat = ">=10" + +[origin] +commit = "5e5007cf9d767f06c12b737a155eb608c58942b3" +url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git" +