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