From dec4ee467b129759fd41cb4d6d0f9add075d70bb Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Thu, 29 Apr 2021 11:10:50 +0200 Subject: [PATCH] atomic 0.3 & bbqueue 0.2 (#273) --- index/at/atomic/atomic-0.3.0.toml | 15 +++++++++++++++ index/bb/bbqueue/bbqueue-0.2.0.toml | 22 ++++++++++++++++++++++ 2 files changed, 37 insertions(+) create mode 100644 index/at/atomic/atomic-0.3.0.toml create mode 100644 index/bb/bbqueue/bbqueue-0.2.0.toml diff --git a/index/at/atomic/atomic-0.3.0.toml b/index/at/atomic/atomic-0.3.0.toml new file mode 100644 index 00000000..b80bd203 --- /dev/null +++ b/index/at/atomic/atomic-0.3.0.toml @@ -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 "] +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" + diff --git a/index/bb/bbqueue/bbqueue-0.2.0.toml b/index/bb/bbqueue/bbqueue-0.2.0.toml new file mode 100644 index 00000000..82c2100f --- /dev/null +++ b/index/bb/bbqueue/bbqueue-0.2.0.toml @@ -0,0 +1,22 @@ +name = "bbqueue" +description = "DMA friendly lock-free BipBuffer" +version = "0.2.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.3" +gnat = ">=10" + +[origin] +commit = "48694afc6b4e088a33592e1e19243fdd1bb38ad7" +url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git" +