nixsearch / pkg / coqPackages.mathcomp-reals-stdlib / 1.11.0
coqPackages.mathcomp-reals-stdlib 1.11.0
Analysis library compatible with Mathematical Components
Linux and macOS
last changed
Pin this version
$ devbox add coqPackages.mathcomp-reals-stdlib@1.11.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6
$ nix shell github:NixOS/nixpkgs/3078b9a9e75f1790e6d6ef9955fdc6a2d1740cc6#coqPackages.mathcomp-reals-stdlib
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.mathcomp-reals-stdlib |
3078b9a9e75f | out/nix/store/hvlfrzamvxza5zcljjhbm8n79hq7wk0z-coq9.0-mathcomp2.4-mathcomp-reals-stdlib-1.11.0 |
||
aarch64-linuxLinux · arm64 |
coqPackages.mathcomp-reals-stdlib |
3078b9a9e75f | out/nix/store/wyqzzs5hc3wm9m409kxpnqygapfwxcp2-coq9.0-mathcomp2.4-mathcomp-reals-stdlib-1.11.0 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.mathcomp-reals-stdlib |
3078b9a9e75f | out/nix/store/6m7fzbg9rsgwslw9q3fswgf1ksrwjsi1-coq9.0-mathcomp2.4-mathcomp-reals-stdlib-1.11.0 |
||
x86_64-linuxLinux · x86-64 |
coqPackages.mathcomp-reals-stdlib |
3078b9a9e75f | out/nix/store/mgjib2000l3hxn97dqqdzdr0gg36l1il-coq9.0-mathcomp2.4-mathcomp-reals-stdlib-1.11.0 |
JSON: /v2/pkg?name=coqPackages.mathcomp-reals-stdlib · /v2/resolve?name=coqPackages.mathcomp-reals-stdlib&version=1.11.0