nixsearch
nixsearch / pkg / colibri2 / 0.6

colibri2 0.6

A CP solver for smtlib
Linux and macOS (Apple Silicon only) last changed

Pin this version

$ devbox add colibri2@0.6
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit0a3468a402c449992505b6a9fc5b06580141b750 
$ nix shell github:NixOS/nixpkgs/0a3468a402c449992505b6a9fc5b06580141b750#colibri2

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 colibri2 0a3468a402c4
out
/nix/store/w2f4km1gfwg3vb9kash9cxayk2lbkll0-ocaml4.14.4-colibri2-0.6
aarch64-linux
Linux · arm64		 colibri2 0a3468a402c4
out
/nix/store/k4dw0jgx8mgbd61nvwhsxb3idwqmlwl9-ocaml4.14.4-colibri2-0.6
x86_64-linux
Linux · x86-64		 colibri2 0a3468a402c4
out
/nix/store/xxzl3l11w5z4v8gysyclr961pxhcnan7-ocaml4.14.4-colibri2-0.6
all 1 releases

JSON: /v2/pkg?name=colibri2 · /v2/resolve?name=colibri2&version=0.6