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

Migration to separate [origin] table

Browse Source
This commit is contained in:
Alejandro R. Mosteo
2020-07-24 11:51:40 +01:00
parent d4e3b9403c
commit 873aeb6196
110 changed files with 497 additions and 278 deletions
Download Patch File Download Diff File Expand all files Collapse all files
index/sa/saatana/saatana-2.0.0.toml
+6 -4
View File
@@ -1,14 +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.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"
version = "2.0.0"
website = "https://github.heisenbug.eu/Saatana"
executables = ["test_phelix"]
licenses = ["WTFPL"]
maintainers = ["vinzent@heisenbug.eu"]
maintainers-logins = ["Jellix"]
project-files = ["saatana.gpr"]
tags = ["cryptography", "spark"]
origin-hashes = ["sha512:1e0eaf5687cf51a76d9491fa45bb3ba91ed996684ce7678e05b01b2e423cc99b7f0e4008f66613596cb9f4fcb46420eb1ce620f61956b46a7006774022e18b16"]
[origin]
url = "https://github.com/HeisenbugLtd/Saatana/archive/v2.0.0.tar.gz"
hashes = ["sha512:1e0eaf5687cf51a76d9491fa45bb3ba91ed996684ce7678e05b01b2e423cc99b7f0e4008f66613596cb9f4fcb46420eb1ce620f61956b46a7006774022e18b16"]
index/sa/saatana/saatana-2.0.2.toml
+5 -3
View File
@@ -1,16 +1,18 @@
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"
website = "https://github.heisenbug.eu/Saatana"
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"
[origin]
url = "https://github.com/HeisenbugLtd/Saatana/archive/v2.0.2.tar.gz"
hashes = ["sha512:edf1f2f600901d91a7e9993db30f705106ff735124487e77b21881d2022bad7a858276735504fa4788bb12f4cd051426021ac998d1b8399769f191ec1ea90a41"]
index/sa/samd51_hal/samd51_hal-0.1.0.toml
+4 -2
View File
@@ -1,14 +1,16 @@
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"]
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"]
origin-hashes = ["sha512:9d22c6e6791c2dbec3338024ba9501d95ccc42e25ec54f100a99d19f2037bae5518e73b1ff6d2f62a1e4c67df9721749a152963236a4eb32feeb24a7d766b32c"]
[[depends-on]]
cortex_m = "^0.1.0"
hal = "^0.1.0"
[origin]
url = "https://github.com/Fabien-Chouteau/samd51-hal/releases/download/v0.1.0/samd51-hal-0.1.0.zip"
hashes = ["sha512:9d22c6e6791c2dbec3338024ba9501d95ccc42e25ec54f100a99d19f2037bae5518e73b1ff6d2f62a1e4c67df9721749a152963236a4eb32feeb24a7d766b32c"]