From 32de724037a4665f0c9a124146a4edfbe8b5b1ba Mon Sep 17 00:00:00 2001
From: Fabien Chouteau <Fabien-Chouteau@users.noreply.github.com>
Date: Thu, 14 Jan 2021 07:59:29 +0100
Subject: [PATCH] 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>
---
 index/ad/ada_lua/ada_lua-0.1.0.toml          | 17 +++++++++++++
 index/bb/bbqueue/bbqueue-0.1.0.toml          | 22 +++++++++++++++++
 index/st/startup_gen/startup_gen-21.0.0.toml | 21 ++++++++++++++++
 index/wi/win32ada/win32ada-21.0.0.toml       | 25 ++++++++++++++++++++
 4 files changed, 85 insertions(+)
 create mode 100644 index/ad/ada_lua/ada_lua-0.1.0.toml
 create mode 100644 index/bb/bbqueue/bbqueue-0.1.0.toml
 create mode 100644 index/st/startup_gen/startup_gen-21.0.0.toml
 create mode 100644 index/wi/win32ada/win32ada-21.0.0.toml

diff --git a/index/ad/ada_lua/ada_lua-0.1.0.toml b/index/ad/ada_lua/ada_lua-0.1.0.toml
new file mode 100644
index 00000000..cbbad968
--- /dev/null
+++ b/index/ad/ada_lua/ada_lua-0.1.0.toml
@@ -0,0 +1,17 @@
+name = "ada_lua"
+description = "An Ada binding for lua"
+version = "0.1.0"
+authors = ["Nicolas Roche <roche@adacore.com>"]
+maintainers = ["Nicolas Roche <roche@adacore.com>"]
+maintainers-logins = ["Nikokrock", "Fabien-Chouteau"]
+website = "https://github.com/adacore/ada-lua"
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+tags = ["lua", "binding", "script"]
+ 
+[[depends-on]]
+liblua = "~5.3"
+
+[origin]
+commit = "0aa4afc28577adf5106d6bd13bed6a086b6e9a8c"
+url = "git+https://github.com/AdaCore/ada-lua.git"
+
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..a1193f6a
--- /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 <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"
+
diff --git a/index/st/startup_gen/startup_gen-21.0.0.toml b/index/st/startup_gen/startup_gen-21.0.0.toml
new file mode 100644
index 00000000..145b14ca
--- /dev/null
+++ b/index/st/startup_gen/startup_gen-21.0.0.toml
@@ -0,0 +1,21 @@
+name = "startup_gen"
+version = "21.0.0"
+description = "Generates startup files (crt0 and linker script)"
+website = "https://github.com/AdaCore/startup-gen"
+authors = ["AdaCore"]
+executables = ["startup-gen"]
+licenses = "GPL-3.0-or-later"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["startup_gen.gpr"]
+tags = ["embedded", "zfp", "nostd"]
+
+[[depends-on]]
+gnatcoll = "~21.0.0"
+libgpr = "~21.0.0"
+templates_parser = "~21.0.0"
+gnat = ">=10"
+
+[origin]
+url="https://github.com/AdaCore/startup-gen/archive/v21.0.0.zip"
+hashes=['sha512:75bdb0979ad6891655359e023a8ddcbe0f507f5b5d844892f91e4048a9ade4ab1f37319c0a817be2dff2f60becbd7ba6e17cc03ca1d22267f1a34660a09f17dd']
diff --git a/index/wi/win32ada/win32ada-21.0.0.toml b/index/wi/win32ada/win32ada-21.0.0.toml
new file mode 100644
index 00000000..6dfa8db8
--- /dev/null
+++ b/index/wi/win32ada/win32ada-21.0.0.toml
@@ -0,0 +1,25 @@
+name = "win32ada"
+version = "21.0.0"
+description = "Ada API to the Windows library"
+website = "https://github.com/adacore/win32ada"
+authors = ["Intermetrics", "AdaCore"]
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+tags = ["windows", "api"]
+
+[gpr-externals]
+PRJ_TARGET = ["Win32", "Win64"]
+PRJ_BUILD = ["Debug", "Release"]
+
+[available.'case(os)']
+windows = true
+'...'   = false
+
+[gpr-set-externals]
+TARGET = "Win64"
+PRJ_TARGET = "Win64"
+PRJ_BUILD = "Release"
+
+[origin]
+url= "https://github.com/AdaCore/win32ada/archive/v21.0.0/win32ada-21.0.0.zip"
+hashes=['sha512:67cd45b8e501fc2fc3dc759bb839c1fd287f3a05e1ba427af1d7b2aab0f196391dde472be65f7620eb75ce39bff031b8ee91a49f878d01c496dfeffd4e0a6a7a']