From 137bec496c8647da53209744e7714d1391d8b26c Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Sat, 24 Aug 2024 13:55:00 +0200 Subject: [PATCH] gnatprove 14.1 on macOS (#1203) --- index/gn/gnatprove/gnatprove-14.1.1.toml | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/index/gn/gnatprove/gnatprove-14.1.1.toml b/index/gn/gnatprove/gnatprove-14.1.1.toml index aa775aed..ffd8380b 100644 --- a/index/gn/gnatprove/gnatprove-14.1.1.toml +++ b/index/gn/gnatprove/gnatprove-14.1.1.toml @@ -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