From c8cd0a83071f1fe9b1cc3698a1c3a06e21bd060f Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Mon, 4 Jan 2021 19:03:41 +0100 Subject: [PATCH] bbqueue 0.1.0 (#216) * bbqueue 0.1.0 * Update bbqueue-0.1.0.toml --- index/bb/bbqueue/bbqueue-0.1.0.toml | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 index/bb/bbqueue/bbqueue-0.1.0.toml diff --git a/index/bb/bbqueue/bbqueue-0.1.0.toml b/index/bb/bbqueue/bbqueue-0.1.0.toml new file mode 100644 index 00000000..733ec0a6 --- /dev/null +++ b/index/bb/bbqueue/bbqueue-0.1.0.toml @@ -0,0 +1,22 @@ +name = "bbqueue" +description = "DMA friendly lock-free BipBuffer" +version = "0.1.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 = "*" +gnat = ">=10" + +[origin] +commit = "3dcd159c39599d490c5ec5a71410ec58ccbbb873" +url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git" +