nixsearch
nixsearch / pkg / coqPackages.mathcomp-classical / 0.5.3

coqPackages.mathcomp-classical 0.5.3

Analysis library compatible with Mathematical Components
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.mathcomp-classical@0.5.3
systemsaarch64-darwin, x86_64-darwin commit995edc972ad3a1e291ac22d74b9610821357175f 
$ nix shell github:NixOS/nixpkgs/995edc972ad3a1e291ac22d74b9610821357175f#coqPackages.mathcomp-classical
systemsaarch64-linux, x86_64-linux commit0749042bfaa2f4efa70ac829c5387133cfc0a337 
$ nix shell github:NixOS/nixpkgs/0749042bfaa2f4efa70ac829c5387133cfc0a337#coqPackages.mathcomp-classical

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.mathcomp-classical 995edc972ad3
out
/nix/store/nh1xh94b67z3bhqbdhwc569s2wmqd6p2-coq8.16-mathcomp1.15-mathcomp-classical-0.5.3
aarch64-linux
Linux · arm64		 coqPackages.mathcomp-classical 0749042bfaa2
out
/nix/store/rww4fjdvjc8fa198f5akd76vwrnady9x-coq8.16-mathcomp1.15-mathcomp-classical-0.5.3
x86_64-darwin
macOS · x86-64		 coqPackages.mathcomp-classical 995edc972ad3
out
/nix/store/9nklyxppiha3283dgg6qv696370q3ivm-coq8.16-mathcomp1.15-mathcomp-classical-0.5.3
x86_64-linux
Linux · x86-64		 coqPackages.mathcomp-classical 0749042bfaa2
out
/nix/store/nnpxfby9c55jqx1kzsgx7411a0k7hj36-coq8.16-mathcomp1.15-mathcomp-classical-0.5.3
← newer: 0.6.1 all 14 releases

JSON: /v2/pkg?name=coqPackages.mathcomp-classical · /v2/resolve?name=coqPackages.mathcomp-classical&version=0.5.3