mercury 22.01.7
Pure logic programming language
Linux and macOS
last changed
Pin this version
$ devbox add mercury@22.01.7
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit517501bcf14ae6ec47efd6a17dda0ca8e6d866f9
$ nix shell github:NixOS/nixpkgs/517501bcf14ae6ec47efd6a17dda0ca8e6d866f9#mercury
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
mercury |
517501bcf14a | out/nix/store/b6nzifl2nrvjx9im7lkgwnsg1flj22lj-mercury-22.01.7 |
||
aarch64-linuxLinux · arm64 |
mercury |
517501bcf14a | out/nix/store/m52q75aasvc46ic7kb1973df7zqwgavq-mercury-22.01.7 |
||
x86_64-darwinmacOS · x86-64 |
mercury |
517501bcf14a | out/nix/store/97ycr5pskzc3i6bpcc0zl34r06a1sdfr-mercury-22.01.7 |
||
x86_64-linuxLinux · x86-64 |
mercury |
517501bcf14a | out/nix/store/gmvrqga9xs2gwhb5cfyh4i35rki7fq2k-mercury-22.01.7 |
JSON: /v2/pkg?name=mercury · /v2/resolve?name=mercury&version=22.01.7