nixsearch / pkg / coqPackages.coqtail-math / 8.14
coqPackages.coqtail-math 8.14
Linux and macOS
last changed
Pin this version
$ devbox add coqPackages.coqtail-math@8.14
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commite0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3
$ nix shell github:NixOS/nixpkgs/e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3#coqPackages.coqtail-math
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.coqtail-math |
e0ed589d7422 | out/nix/store/wqrs3rq0i0rcr8cwxd37fwmzn3c9b9ad-coq8.15-coqtail-math-8.14 |
||
aarch64-linuxLinux · arm64 |
coqPackages.coqtail-math |
e0ed589d7422 | out/nix/store/ydkx710payj8nfg9ra0jj06bvx7p6k2p-coq8.15-coqtail-math-8.14 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.coqtail-math |
e0ed589d7422 | out/nix/store/201phramc681c3achaz3i2y9hk3gb56r-coq8.15-coqtail-math-8.14 |
||
x86_64-linuxLinux · x86-64 |
coqPackages.coqtail-math |
e0ed589d7422 | out/nix/store/p2yarpc0ajcc9l5586njj5kbx2qw2yvz-coq8.15-coqtail-math-8.14 |
JSON: /v2/pkg?name=coqPackages.coqtail-math · /v2/resolve?name=coqPackages.coqtail-math&version=8.14