nixsearch / pkg / coqPackages.mathcomp-abel / 1.2.0
coqPackages.mathcomp-abel 1.2.0
Abel - Galois and Abel - Ruffini Theorems
Linux and macOS
last changed
Pin this version
$ devbox add coqPackages.mathcomp-abel@1.2.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit6f884c2f43c7bb105816303eb4867da672ec6f39
$ nix shell github:NixOS/nixpkgs/6f884c2f43c7bb105816303eb4867da672ec6f39#coqPackages.mathcomp-abel
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.mathcomp-abel |
6f884c2f43c7 | out/nix/store/4vxx6xiypa97gw0msikml1k87ysfqxy4-coq8.15-mathcomp1.14-abel-1.2.0 |
||
aarch64-linuxLinux · arm64 |
coqPackages.mathcomp-abel |
6f884c2f43c7 | out/nix/store/29ss8jfza7pxa8r9layzmlvzzpfzrcsh-coq8.15-mathcomp1.14-abel-1.2.0 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.mathcomp-abel |
6f884c2f43c7 | out/nix/store/nqim4v6ar4vbfchq3lf6c8n55fcb7nzc-coq8.15-mathcomp1.14-abel-1.2.0 |
||
x86_64-linuxLinux · x86-64 |
coqPackages.mathcomp-abel |
6f884c2f43c7 | out/nix/store/j4wps45030276m5nlhxr8689wnqdcv4l-coq8.15-mathcomp1.14-abel-1.2.0 |
JSON: /v2/pkg?name=coqPackages.mathcomp-abel · /v2/resolve?name=coqPackages.mathcomp-abel&version=1.2.0