nixsearch
nixsearch / pkg / coqPackages.ssprove / 0.2.2

coqPackages.ssprove 0.2.2

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

Pin this version

$ devbox add coqPackages.ssprove@0.2.2
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commitbf689c40d035239a489de5997a4da5352434632e 
$ nix shell github:NixOS/nixpkgs/bf689c40d035239a489de5997a4da5352434632e#coqPackages.ssprove

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.ssprove bf689c40d035
out
/nix/store/mr19qgzlgxsv3v21m598mx9i3bsdbvza-coq8.20-ssprove-0.2.2
aarch64-linux
Linux · arm64		 coqPackages.ssprove bf689c40d035
out
/nix/store/ss4vi327ylw7lcp2b7f4fqypszb65k5w-coq8.20-ssprove-0.2.2
x86_64-darwin
macOS · x86-64		 coqPackages.ssprove bf689c40d035
out
/nix/store/ymvyp36kbi17y64dnd43mxzbi0gdy66y-coq8.20-ssprove-0.2.2
x86_64-linux
Linux · x86-64		 coqPackages.ssprove bf689c40d035
out
/nix/store/3y4496x3p7qadiyafmd89qlhbgwgfqvk-coq8.20-ssprove-0.2.2
← newer: 0.2.3 all 6 releases older: 0.2.0 →

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