nixsearch
nixsearch / pkg / coqPackages.ssprove / 0.3.1

coqPackages.ssprove 0.3.1

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

Pin this version

$ devbox add coqPackages.ssprove@0.3.1
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#coqPackages.ssprove
systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d 
$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#coqPackages.ssprove

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.ssprove b6c8664de9b6
out
/nix/store/4xfgzyn28cffaw3h7mgdwz9n70xjw64i-coq9.1-ssprove-0.3.1
aarch64-linux
Linux · arm64		 coqPackages.ssprove b6c8664de9b6
out
/nix/store/xs1rhp5qh6vgqjg357y1mrj6wmp10a8s-coq9.1-ssprove-0.3.1
x86_64-darwin
macOS · x86-64		 coqPackages.ssprove 3d46470bb303
out
/nix/store/1l03kb26gqim2ywa94771vvaggrz5nb6-coq9.1-ssprove-0.3.1
x86_64-linux
Linux · x86-64		 coqPackages.ssprove b6c8664de9b6
out
/nix/store/jrmzapdnzr2p9hppdaiqqf0325ac67jq-coq9.1-ssprove-0.3.1
all 6 releases older: 0.3.0 →

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