nixsearch
nixsearch / pkg / lispPackages.cl-smt-lib / 20211020-git

lispPackages.cl-smt-lib 20211020-git

SMT object supporting SMT-LIB communication over input and output streams
Linux and macOS last changed

Pin this version

$ devbox add lispPackages.cl-smt-lib@20211020-git
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit5fd8536a9a5932d4ae8de52b7dc08d92041237fc 
$ nix shell github:NixOS/nixpkgs/5fd8536a9a5932d4ae8de52b7dc08d92041237fc#lispPackages.cl-smt-lib

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 lispPackages.cl-smt-lib 5fd8536a9a59
out
/nix/store/cxazd28bd5i02nkax48czwi36vzm3jl3-lisp-cl-smt-lib-20211020-git
aarch64-linux
Linux · arm64		 lispPackages.cl-smt-lib 5fd8536a9a59
out
/nix/store/05d6zgjbvh749hw8qx3awf8w7hfbd6k8-lisp-cl-smt-lib-20211020-git
x86_64-darwin
macOS · x86-64		 lispPackages.cl-smt-lib 5fd8536a9a59
out
/nix/store/x4yasl63z1sdp829d1knrvl2gg5fx1kj-lisp-cl-smt-lib-20211020-git
x86_64-linux
Linux · x86-64		 lispPackages.cl-smt-lib 5fd8536a9a59
out
/nix/store/0mlgrq514nm59h5rmxmwn1vhrjrj5gql-lisp-cl-smt-lib-20211020-git
all 1 releases

JSON: /v2/pkg?name=lispPackages.cl-smt-lib · /v2/resolve?name=lispPackages.cl-smt-lib&version=20211020-git