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