nixsearch
nixsearch / pkg / coqPackages.ssprove / 0.2.3

coqPackages.ssprove 0.2.3

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.ssprove@0.2.3
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit0d534853a55b5d02a4ababa1d71921ce8f0aee4c 
$ nix shell github:NixOS/nixpkgs/0d534853a55b5d02a4ababa1d71921ce8f0aee4c#coqPackages.ssprove

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.ssprove 0d534853a55b
out
/nix/store/40a4j1gl0v47zhq6v451x573bz7mzq1k-coq8.20-ssprove-0.2.3
aarch64-linux
Linux · arm64		 coqPackages.ssprove 0d534853a55b
out
/nix/store/i77ggyshhmm7r6kap39nr9ljwbpyb572-coq8.20-ssprove-0.2.3
x86_64-darwin
macOS · x86-64		 coqPackages.ssprove 0d534853a55b
out
/nix/store/r8sakddpkk0bn8g9yaq2aymgdfxir4y6-coq8.20-ssprove-0.2.3
x86_64-linux
Linux · x86-64		 coqPackages.ssprove 0d534853a55b
out
/nix/store/pk48lksifhgkfkknf8bhcgfdsw1v18fx-coq8.20-ssprove-0.2.3
← newer: 0.2.4 all 6 releases older: 0.2.2 →

JSON: /v2/pkg?name=coqPackages.ssprove · /v2/resolve?name=coqPackages.ssprove&version=0.2.3