nixsearch
nixsearch / pkg / coqPackages.mathcomp-zify / 1.3.0+1.12+8.13

coqPackages.mathcomp-zify 1.3.0+1.12+8.13

Micromega tactics for Mathematical Components
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.mathcomp-zify@1.3.0+1.12+8.13
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465 
$ nix shell github:NixOS/nixpkgs/0cb2fd7c59fed0cd82ef858cbcbdb552b9a33465#coqPackages.mathcomp-zify

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.mathcomp-zify 0cb2fd7c59fe
out
/nix/store/w3i9cam7v4wc68f4mib5ha405bnfrbb8-coq8.19-mathcomp1.19-zify-1.3.0+1.12+8.13
aarch64-linux
Linux · arm64		 coqPackages.mathcomp-zify 0cb2fd7c59fe
out
/nix/store/3m6ip37ivfry76c5cj6fw9xdvdxh16sy-coq8.19-mathcomp1.19-zify-1.3.0+1.12+8.13
x86_64-darwin
macOS · x86-64		 coqPackages.mathcomp-zify 0cb2fd7c59fe
out
/nix/store/hx6981hnnkl96a3fk4q4inf2vrg38z1a-coq8.19-mathcomp1.19-zify-1.3.0+1.12+8.13
x86_64-linux
Linux · x86-64		 coqPackages.mathcomp-zify 0cb2fd7c59fe
out
/nix/store/yw03i1q75mm1jmy98dxscps29lc55rpz-coq8.19-mathcomp1.19-zify-1.3.0+1.12+8.13
← newer: 1.5.0+2.0+8.16 all 6 releases older: 1.1.0+1.12+8.13 →

JSON: /v2/pkg?name=coqPackages.mathcomp-zify · /v2/resolve?name=coqPackages.mathcomp-zify&version=1.3.0%2B1.12%2B8.13