nixsearch / pkg / coqPackages.Cheerios / 20200201
coqPackages.Cheerios 20200201
Linux and macOS
last changed
Pin this version
$ devbox add coqPackages.Cheerios@20200201
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit96ba1c52e54e74c3197f4d43026b3f3d92e83ff9
$ nix shell github:NixOS/nixpkgs/96ba1c52e54e74c3197f4d43026b3f3d92e83ff9#coqPackages.Cheerios
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.Cheerios |
96ba1c52e54e | out/nix/store/ff3mm4m9h5n1nhn6kjxmn7jbqb70wak4-coq8.16-cheerios-20200201 |
||
aarch64-linuxLinux · arm64 |
coqPackages.Cheerios |
96ba1c52e54e | out/nix/store/z4k9fss5452kri440kd1ag3aqah0njkx-coq8.16-cheerios-20200201 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.Cheerios |
96ba1c52e54e | out/nix/store/1a9bslkgzpsbmsa38zzbdgczq15qbazg-coq8.16-cheerios-20200201 |
||
x86_64-linuxLinux · x86-64 |
coqPackages.Cheerios |
96ba1c52e54e | out/nix/store/d4vc5vn4mnhqfycagiag9dc9q0qghv43-coq8.16-cheerios-20200201 |
JSON: /v2/pkg?name=coqPackages.Cheerios · /v2/resolve?name=coqPackages.Cheerios&version=20200201