nixsearch
nixsearch / pkg / easycrypt-runtest / 2022.04

easycrypt-runtest 2022.04

Testing program for EasyCrypt formalizations
Linux and macOS last changed

Pin this version

$ devbox add easycrypt-runtest@2022.04
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit517501bcf14ae6ec47efd6a17dda0ca8e6d866f9 
$ nix shell github:NixOS/nixpkgs/517501bcf14ae6ec47efd6a17dda0ca8e6d866f9#easycrypt-runtest

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 easycrypt-runtest 517501bcf14a
out
/nix/store/g2fn0babg5v7x554d7i9z3pi68cnd2d9-easycrypt-runtest-2022.04
aarch64-linux
Linux · arm64		 easycrypt-runtest 517501bcf14a
out
/nix/store/n8h6k42cx0p9hrpwiy5g8nrakmkbvir0-easycrypt-runtest-2022.04
x86_64-darwin
macOS · x86-64		 easycrypt-runtest 517501bcf14a
out
/nix/store/dw6k1cr059l50cvgskqhxblgl7f4n5a0-easycrypt-runtest-2022.04
x86_64-linux
Linux · x86-64		 easycrypt-runtest 517501bcf14a
out
/nix/store/biij1ahki3322q874h4s8g7k21vxbngp-easycrypt-runtest-2022.04
← newer: 2023.09 all 15 releases

JSON: /v2/pkg?name=easycrypt-runtest · /v2/resolve?name=easycrypt-runtest&version=2022.04