nixsearch
nixsearch / pkg / coqPackages.extructures / 0.4.0

coqPackages.extructures 0.4.0

Finite data structures with extensional reasoning
Linux and macOS last changed

Pin this version

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

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.extructures bf689c40d035
out
/nix/store/gk8bxmjja4cj93szphzf3n2cfpjmx9vz-coq8.20-extructures-0.4.0
aarch64-linux
Linux · arm64		 coqPackages.extructures bf689c40d035
out
/nix/store/316lrwiarcyb1f4bjiyd1b4hm5vw36vv-coq8.20-extructures-0.4.0
x86_64-darwin
macOS · x86-64		 coqPackages.extructures bf689c40d035
out
/nix/store/jpldc9r70sqxynxmhchw9msd321j55w1-coq8.20-extructures-0.4.0
x86_64-linux
Linux · x86-64		 coqPackages.extructures bf689c40d035
out
/nix/store/fg4yrcchzrjdnijfahlmfjjsbxqnxb12-coq8.20-extructures-0.4.0
← newer: 0.5.0 all 4 releases older: 0.3.1 →

JSON: /v2/pkg?name=coqPackages.extructures · /v2/resolve?name=coqPackages.extructures&version=0.4.0