nixsearch
nixsearch / pkg / haskellPackages.sbv_14_0 / 14.0

haskellPackages.sbv_14_0 14.0

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving
Linux and macOS last changed outputs: out, data, doc

Pin this version

$ devbox add haskellPackages.sbv_14_0@14.0
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit55ba7f49ef2962b42cbd126522b7df5f95037679 
$ nix shell github:NixOS/nixpkgs/55ba7f49ef2962b42cbd126522b7df5f95037679#haskellPackages.sbv_14_0
systemsx86_64-darwin commit05988b07fb05cbcb50be6bce197b4b5f75b5e61b 
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#haskellPackages.sbv_14_0

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 haskellPackages.sbv_14_0 55ba7f49ef29
out
/nix/store/1y1wqpqgcxdsjpm991ji7acrg0chkjl8-sbv-14.0
data (not default)
/nix/store/krz3j61aikihnipqlmcdwa3hixwfrwwh-sbv-14.0-data
doc (not default)
/nix/store/awwp43x3425dl733i89w3q3pskp1fljs-sbv-14.0-doc
aarch64-linux
Linux · arm64		 haskellPackages.sbv_14_0 55ba7f49ef29
out
/nix/store/2lbajqszg8lba4b6i506s497qs2pdwwa-sbv-14.0
data (not default)
/nix/store/brwgg6549s9ixh04sa412jjq8kyqwjfv-sbv-14.0-data
doc (not default)
/nix/store/i2qn1hqdcmdnzhrd3rmir21yfhhkrscr-sbv-14.0-doc
x86_64-darwin
macOS · x86-64		 haskellPackages.sbv_14_0 05988b07fb05
out
/nix/store/n7vjsc5z4n57ssg6gfpir4yp8x38ccz3-sbv-14.0
data (not default)
/nix/store/ikpag8ywkw5jih74s5ppskygcs6inv99-sbv-14.0-data
doc (not default)
/nix/store/fkgqrm21s2bm5vrpnanm9pdfrl7fgv2h-sbv-14.0-doc
x86_64-linux
Linux · x86-64		 haskellPackages.sbv_14_0 55ba7f49ef29
out
/nix/store/bnzvyn2lpx3a46kb5grrfbysayg2gi1x-sbv-14.0
data (not default)
/nix/store/sw6c0gf1z6a9d8fr6xfmf74ina2qg5sj-sbv-14.0-data
doc (not default)
/nix/store/505nqqfc79c06wzg2x7c1pg9jrqaa498-sbv-14.0-doc
all 1 releases

JSON: /v2/pkg?name=haskellPackages.sbv_14_0 · /v2/resolve?name=haskellPackages.sbv_14_0&version=14.0