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

coqPackages.mathcomp-classical 0.6.1

Analysis library compatible with Mathematical Components
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.mathcomp-classical@0.6.1
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit911ad1e67f458b6bcf0278fa85e33bb9924fed7e 
$ nix shell github:NixOS/nixpkgs/911ad1e67f458b6bcf0278fa85e33bb9924fed7e#coqPackages.mathcomp-classical

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.mathcomp-classical 911ad1e67f45
out
/nix/store/4030zfa5gg35zsf2fd8b19n11j3h8n4p-coq8.18-mathcomp1.17-mathcomp-classical-0.6.1
aarch64-linux
Linux · arm64		 coqPackages.mathcomp-classical 911ad1e67f45
out
/nix/store/2470i6lzzai7kmzmgh1n0k05hy3w199g-coq8.18-mathcomp1.17-mathcomp-classical-0.6.1
x86_64-darwin
macOS · x86-64		 coqPackages.mathcomp-classical 911ad1e67f45
out
/nix/store/8bxksnqpx96z7g8vn2q1pic4kwy34r67-coq8.18-mathcomp1.17-mathcomp-classical-0.6.1
x86_64-linux
Linux · x86-64		 coqPackages.mathcomp-classical 911ad1e67f45
out
/nix/store/h9zq94zdjy3qnxxbaafnrzpnmjmx3a4r-coq8.18-mathcomp1.17-mathcomp-classical-0.6.1
← newer: 0.6.6 all 14 releases older: 0.5.3 →

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