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

gnatprove 14.1 on macOS (#1203)

Browse Source
This commit is contained in:
Fabien Chouteau
2024-08-24 13:55:00 +02:00
committed by GitHub
parent 9f42fb3bf2
commit 137bec496c
1 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
index/gn/gnatprove/gnatprove-14.1.1.toml
+10
View File
@@ -23,3 +23,13 @@ binary = true
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-x86_64-linux-14.1.0-1.tar.gz"
hashes = ["sha256:f6ca6f8c214802b301cc7d9723f73fd088e26c4f0d80c7126993f27bf80494d4"]
binary = true
[origin."case(os)".macos."case(host-arch)".x86-64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-x86_64-darwin-14.1.0-1.tar.gz"
hashes = ["sha256:5da179687bb601c8d88ff2f8f70ba9f07bd84d49f69c2fb2fc213bddad98c05c"]
binary = true
[origin."case(os)".macos."case(host-arch)".aarch64]
url = "https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-14.1.0-1/gnatprove-aarch64-darwin-14.1.0-1.tar.gz"
hashes = ["sha256:91818ed8775fd0cf1d3c0ffc3cfe05c5ab9d759a1d18c38c06ed5134c7563876"]
binary = true