alire/alire-index-community
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Migrated index format to per-release manifests

Browse Source 
Also applied the rest of transformations described in alire#227: no top-level
[genera] table, name/version keys, [[depends-on]] array instead of table.
This commit is contained in:
Alejandro R. Mosteo
2020-07-22 17:06:26 +01:00
parent 7abfff57ce
commit 31e9c543b3
163 changed files with 1610 additions and 2003 deletions
Download Patch File Download Diff File Expand all files Collapse all files
index/sa/saatana.toml
-39
View File
@@ -1,39 +0,0 @@
[general]
description = "SPARK/Ada Algorithms Targeting Advanced Network Applications"
licenses = ["WTFPL"]
maintainers = ["vinzent@heisenbug.eu"]
maintainers-logins = ["Jellix"]
## Long description, can be multi-line using """ """ as delimiters
long-description = """
Saatana - SPARK/Ada Algorithms Targeting Advanced Network Applications
A collection of cryptographic algorithms, proven for correctness in SPARK.
Currently contains [![Phelix](https://www.schneier.com/academic/archives/2005/01/phelix.html)](https://www.schneier.com/academic/archives/2005/01/phelix.html)
"""
## Executables built (must not include any relative path)
executables = ["test_phelix"]
## Project files made available to clients (with relative path)
## If only a single project file named as the crate is provided
## at the root directory, then this property can be omitted.
project-files = ["saatana.gpr"]
## Keywords for classification
tags = ["cryptography", "spark"]
## A website with further information
website = "https://github.heisenbug.eu/Saatana"
['2.0.2']
origin = "https://github.com/HeisenbugLtd/Saatana/archive/v2.0.2.tar.gz"
origin-hashes = ["sha512:edf1f2f600901d91a7e9993db30f705106ff735124487e77b21881d2022bad7a858276735504fa4788bb12f4cd051426021ac998d1b8399769f191ec1ea90a41"]
['2.0.0']
origin = "https://github.com/HeisenbugLtd/Saatana/archive/v2.0.0.tar.gz"
origin-hashes = ["sha512:1e0eaf5687cf51a76d9491fa45bb3ba91ed996684ce7678e05b01b2e423cc99b7f0e4008f66613596cb9f4fcb46420eb1ce620f61956b46a7006774022e18b16"]
notes = "This version is deprecated. An error in the proof annotations has been identified which invalidates the proof of absence of runtime errors."
['2.0.2'.depends-on]
gnat = "^2020"
index/sa/saatana/saatana-2.0.0.toml
+14
View File
@@ -0,0 +1,14 @@
description = "SPARK/Ada Algorithms Targeting Advanced Network Applications"
long-description = "Saatana - SPARK/Ada Algorithms Targeting Advanced Network Applications\nA collection of cryptographic algorithms, proven for correctness in SPARK.\n\nCurrently contains [![Phelix](https://www.schneier.com/academic/archives/2005/01/phelix.html)](https://www.schneier.com/academic/archives/2005/01/phelix.html)\n"
website = "https://github.heisenbug.eu/Saatana"
name = "saatana"
version = "2.0.0"
notes = "This version is deprecated. An error in the proof annotations has been identified which invalidates the proof of absence of runtime errors."
origin = "https://github.com/HeisenbugLtd/Saatana/archive/v2.0.0.tar.gz"
executables = ["test_phelix"]
licenses = ["WTFPL"]
maintainers = ["vinzent@heisenbug.eu"]
maintainers-logins = ["Jellix"]
project-files = ["saatana.gpr"]
tags = ["cryptography", "spark"]
origin-hashes = ["sha512:1e0eaf5687cf51a76d9491fa45bb3ba91ed996684ce7678e05b01b2e423cc99b7f0e4008f66613596cb9f4fcb46420eb1ce620f61956b46a7006774022e18b16"]
index/sa/saatana/saatana-2.0.2.toml
+16
View File
@@ -0,0 +1,16 @@
description = "SPARK/Ada Algorithms Targeting Advanced Network Applications"
long-description = "Saatana - SPARK/Ada Algorithms Targeting Advanced Network Applications\nA collection of cryptographic algorithms, proven for correctness in SPARK.\n\nCurrently contains [![Phelix](https://www.schneier.com/academic/archives/2005/01/phelix.html)](https://www.schneier.com/academic/archives/2005/01/phelix.html)\n"
website = "https://github.heisenbug.eu/Saatana"
name = "saatana"
version = "2.0.2"
origin = "https://github.com/HeisenbugLtd/Saatana/archive/v2.0.2.tar.gz"
executables = ["test_phelix"]
licenses = ["WTFPL"]
maintainers = ["vinzent@heisenbug.eu"]
maintainers-logins = ["Jellix"]
project-files = ["saatana.gpr"]
tags = ["cryptography", "spark"]
origin-hashes = ["sha512:edf1f2f600901d91a7e9993db30f705106ff735124487e77b21881d2022bad7a858276735504fa4788bb12f4cd051426021ac998d1b8399769f191ec1ea90a41"]
[[depends-on]]
gnat = "^2020"
index/sa/samd51_hal.toml → index/sa/samd51_hal/samd51_hal-0.1.0.toml
+7 -16
View File
@@ -1,23 +1,14 @@
[general]
description = "Drivers and HAL for the SAMD51 micro-controller family"
name = "samd51_hal"
version = "0.1.0"
origin = "https://github.com/Fabien-Chouteau/samd51-hal/releases/download/v0.1.0/samd51-hal-0.1.0.zip"
licenses = ["BSD 3-Clauses"]
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
licenses = ["BSD 3-Clauses"]
project-files = ["ATSAMD51G18A.gpr", "ATSAMD51J18A.gpr", "ATSAMD51J20A.gpr", "ATSAMD51N20A.gpr", "ATSAMD51P20A.gpr", "ATSAMD51G19A.gpr", "ATSAMD51J19A.gpr", "ATSAMD51N19A.gpr", "ATSAMD51P19A.gpr"]
tags = ["embedded", "nostd", "atsamd51", "microchip", "atmel", "drivers"]
project-files = ["ATSAMD51G18A.gpr",
"ATSAMD51J18A.gpr",
"ATSAMD51J20A.gpr",
"ATSAMD51N20A.gpr",
"ATSAMD51P20A.gpr",
"ATSAMD51G19A.gpr",
"ATSAMD51J19A.gpr",
"ATSAMD51N19A.gpr",
"ATSAMD51P19A.gpr"]
["0.1.0"]
origin = "https://github.com/Fabien-Chouteau/samd51-hal/releases/download/v0.1.0/samd51-hal-0.1.0.zip"
origin-hashes = ["sha512:9d22c6e6791c2dbec3338024ba9501d95ccc42e25ec54f100a99d19f2037bae5518e73b1ff6d2f62a1e4c67df9721749a152963236a4eb32feeb24a7d766b32c"]
["0.1.0".depends-on]
[[depends-on]]
cortex_m = "^0.1.0"
hal = "^0.1.0"