nixsearch
nixsearch / pkg / coqPackages.ssprove / 0.2.4

coqPackages.ssprove 0.2.4

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

Pin this version

$ devbox add coqPackages.ssprove@0.2.4
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit12c1f0253aa9a54fdf8ec8aecaafada64a111e24 
$ nix shell github:NixOS/nixpkgs/12c1f0253aa9a54fdf8ec8aecaafada64a111e24#coqPackages.ssprove

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.ssprove 12c1f0253aa9
out
/nix/store/gz80dq86p97sjgcpa9al72gwzb8bx9ng-coq9.0-ssprove-0.2.4
aarch64-linux
Linux · arm64		 coqPackages.ssprove 12c1f0253aa9
out
/nix/store/9wbdnczkdwf3rrrz4r9il8gp1ax5r8gv-coq9.0-ssprove-0.2.4
x86_64-darwin
macOS · x86-64		 coqPackages.ssprove 12c1f0253aa9
out
/nix/store/vp7p1yl2imaca26pm5ldiwncdjsjlj1g-coq9.0-ssprove-0.2.4
x86_64-linux
Linux · x86-64		 coqPackages.ssprove 12c1f0253aa9
out
/nix/store/pl0w8i4zjzbs0zl8cwxm5gfvvpfhvl44-coq9.0-ssprove-0.2.4
← newer: 0.3.0 all 6 releases older: 0.2.3 →

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