From 73b6c15d2458fc421c43b190b559a76dd55f7ab7 Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Mon, 25 Oct 2021 18:07:17 +0200 Subject: [PATCH] bbqueue 0.3.0 (#385) --- index/bb/bbqueue/bbqueue-0.3.0.toml | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 index/bb/bbqueue/bbqueue-0.3.0.toml diff --git a/index/bb/bbqueue/bbqueue-0.3.0.toml b/index/bb/bbqueue/bbqueue-0.3.0.toml new file mode 100644 index 00000000..b1ecacde --- /dev/null +++ b/index/bb/bbqueue/bbqueue-0.3.0.toml @@ -0,0 +1,22 @@ +name = "bbqueue" +description = "DMA friendly lock-free BipBuffer" +version = "0.3.0" + +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)""" + +[[depends-on]] +atomic = "~0.4" +gnat = ">=10" + +[origin] +commit = "a47e12a4d59b65de1f68b63bebaa6993dbe78105" +url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git" +