nixsearch / pkg / coqPackages.multinomials / 1.5.5
coqPackages.multinomials 1.5.5
Coq/SSReflect Library for Monoidal Rings and Multinomials
Linux and macOS
last changed
Pin this version
$ devbox add coqPackages.multinomials@1.5.5
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit21eda9bc80bef824a037582b1e5a43ba74e92daa
$ nix shell github:NixOS/nixpkgs/21eda9bc80bef824a037582b1e5a43ba74e92daa#coqPackages.multinomials
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.multinomials |
21eda9bc80be | out/nix/store/0n8a8h935wm41k936rjnhrg2hxcm9hh0-coq8.16-mathcomp1.15-multinomials-1.5.5 |
||
aarch64-linuxLinux · arm64 |
coqPackages.multinomials |
21eda9bc80be | out/nix/store/zdhdm4ppfr9alhsdlcs8xqkphnccprdp-coq8.16-mathcomp1.15-multinomials-1.5.5 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.multinomials |
21eda9bc80be | out/nix/store/sllbaarip8llxjiqbff9fj02dpzkmhh0-coq8.16-mathcomp1.15-multinomials-1.5.5 |
||
x86_64-linuxLinux · x86-64 |
coqPackages.multinomials |
21eda9bc80be | out/nix/store/ff6d8yhrsqxdn3jxi7s49v9cn27djb14-coq8.16-mathcomp1.15-multinomials-1.5.5 |
JSON: /v2/pkg?name=coqPackages.multinomials · /v2/resolve?name=coqPackages.multinomials&version=1.5.5