nixsearch
nixsearch / pkg / gringo / 4.5.4

gringo 4.5.4

ASP system to ground and solve logic programs
Linux and macOS last changed

Pin this version

$ devbox add gringo@4.5.4
systemsaarch64-darwin, x86_64-darwin commit55b3f68bda6d4f4dc6092eed0508063f154fa4fd 
$ nix shell github:NixOS/nixpkgs/55b3f68bda6d4f4dc6092eed0508063f154fa4fd#gringo
systemsaarch64-linux, x86_64-linux commit6b5019a48f876f3288efc626fa8b70ad0c64eb46 
$ nix shell github:NixOS/nixpkgs/6b5019a48f876f3288efc626fa8b70ad0c64eb46#gringo

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 gringo 55b3f68bda6d
out
/nix/store/kn6ln2ig2kk9qqps34a8bbah52j749ha-gringo-4.5.4
aarch64-linux
Linux · arm64		 gringo 6b5019a48f87
out
/nix/store/15p4dafhqz40fvim2hibnldjn69xcr60-gringo-4.5.4
x86_64-darwin
macOS · x86-64		 gringo 55b3f68bda6d
out
/nix/store/wbn2ndi9mcn2cg56ybzl6caway0w8vb3-gringo-4.5.4
x86_64-linux
Linux · x86-64		 gringo 6b5019a48f87
out
/nix/store/fw7qlghi3vwj8spig5wckpkmv6ka2bxr-gringo-4.5.4
← newer: 5.6.2 all 2 releases

JSON: /v2/pkg?name=gringo · /v2/resolve?name=gringo&version=4.5.4