stable -> devel ports (plus SPDX format) (#232)
* Convert licenses to SPDX expressions * bbqueue 0.1.0 (#216) * bbqueue 0.1.0 * Update bbqueue-0.1.0.toml * startup_gen 21.0.0 (#227) * ada_lua 0.1.0 (#230) * ada_lua-0.1.0.toml: fix website field (#231) * Convert licenses to SPDX expressions (cont.) * win32ada 21.0.0 (#233) Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
This commit is contained in:
@@ -0,0 +1,22 @@
|
||||
name = "bbqueue"
|
||||
description = "DMA friendly lock-free BipBuffer"
|
||||
version = "0.1.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 = "*"
|
||||
gnat = ">=10"
|
||||
|
||||
[origin]
|
||||
commit = "3dcd159c39599d490c5ec5a71410ec58ccbbb873"
|
||||
url = "git+https://github.com/Fabien-Chouteau/bbqueue-spark.git"
|
||||
|
||||
Reference in New Issue
Block a user