nixsearch
nixsearch / pkg / coqPackages.mathcomp-real-closed / 1.1.3

coqPackages.mathcomp-real-closed 1.1.3

Mathematical Components Library on real closed fields
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.mathcomp-real-closed@1.1.3
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit0749042bfaa2f4efa70ac829c5387133cfc0a337 
$ nix shell github:NixOS/nixpkgs/0749042bfaa2f4efa70ac829c5387133cfc0a337#coqPackages.mathcomp-real-closed

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.mathcomp-real-closed 0749042bfaa2
out
/nix/store/i8f6hndcym8k3na2jsddzsh4s5dwik5k-coq8.16-mathcomp1.15-real-closed-1.1.3
aarch64-linux
Linux · arm64		 coqPackages.mathcomp-real-closed 0749042bfaa2
out
/nix/store/zyfc6s0pb2mf0rrcih4cjkvfq165948x-coq8.16-mathcomp1.15-real-closed-1.1.3
x86_64-darwin
macOS · x86-64		 coqPackages.mathcomp-real-closed 0749042bfaa2
out
/nix/store/6dgsvrx2wjyp2z9092g7yllyil2dibbc-coq8.16-mathcomp1.15-real-closed-1.1.3
x86_64-linux
Linux · x86-64		 coqPackages.mathcomp-real-closed 0749042bfaa2
out
/nix/store/dl3ndhxcmk7lbj3kv7wy35bz4jmvx3if-coq8.16-mathcomp1.15-real-closed-1.1.3
← newer: 1.1.4 all 9 releases older: 1.1.2 →

JSON: /v2/pkg?name=coqPackages.mathcomp-real-closed · /v2/resolve?name=coqPackages.mathcomp-real-closed&version=1.1.3