nixsearch
nixsearch / pkg / coqPackages.Verdi / 20210524

coqPackages.Verdi 20210524

Linux and macOS last changed

Pin this version

$ devbox add coqPackages.Verdi@20210524
systemsaarch64-darwin, x86_64-darwin commit4c3c80df545ec5cb26b5480979c3e3f93518cbe5 
$ nix shell github:NixOS/nixpkgs/4c3c80df545ec5cb26b5480979c3e3f93518cbe5#coqPackages.Verdi
systemsaarch64-linux, x86_64-linux commit0343e3415784b2cd9c68924294794f7dbee12ab3 
$ nix shell github:NixOS/nixpkgs/0343e3415784b2cd9c68924294794f7dbee12ab3#coqPackages.Verdi

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.Verdi 4c3c80df545e
out
/nix/store/avxmfmjrb1xlzn759hnbrm861z44jl05-coq8.13-verdi-20210524
aarch64-linux
Linux · arm64		 coqPackages.Verdi 0343e3415784
out
/nix/store/i2q4lvbqgqz2brb45drxpc8cvd5i908j-coq8.13-verdi-20210524
x86_64-darwin
macOS · x86-64		 coqPackages.Verdi 4c3c80df545e
out
/nix/store/hx3kw0rac71xlkg7ggssiwvd1i3g50fz-coq8.13-verdi-20210524
x86_64-linux
Linux · x86-64		 coqPackages.Verdi 0343e3415784
← newer: 20211026 all 4 releases older: 20200131 →

JSON: /v2/pkg?name=coqPackages.Verdi · /v2/resolve?name=coqPackages.Verdi&version=20210524