nixsearch
nixsearch / pkg / gnatprove / 15_2025-06-10

gnatprove 15_2025-06-10

Software development technology specifically designed for engineering high-reliability applications
Linux last changed

Pin this version

$ devbox add gnatprove@15_2025-06-10
systemsaarch64-linux, x86_64-linux commit0a3468a402c449992505b6a9fc5b06580141b750 
$ nix shell github:NixOS/nixpkgs/0a3468a402c449992505b6a9fc5b06580141b750#gnatprove

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-linux
Linux · arm64		 gnatprove 0a3468a402c4
out
/nix/store/i0v10idz7zmi6ha73pnwhy41jlrsqv6h-gnatprove-fsf-15_2025-06-10
x86_64-linux
Linux · x86-64		 gnatprove 0a3468a402c4
out
/nix/store/qiwi8pzlf8r5985m7mrfv1rbzl6l7hfj-gnatprove-fsf-15_2025-06-10
all 1 releases

JSON: /v2/pkg?name=gnatprove · /v2/resolve?name=gnatprove&version=15_2025-06-10