nixsearch
nixsearch / pkg / haskellPackages.refinery / 0.4.0.0

haskellPackages.refinery 0.4.0.0

Toolkit for building proof automation systems
macOS (Intel only) last changed outputs: out (macOS only), doc (macOS only)

Pin this version

$ devbox add haskellPackages.refinery@0.4.0.0
systemsx86_64-darwin commita343533bccc62400e8a9560423486a3b6c11a23b 
$ nix shell github:NixOS/nixpkgs/a343533bccc62400e8a9560423486a3b6c11a23b#haskellPackages.refinery

Per system

SystemAttributeCommitDateOutputsFlags
x86_64-darwin
macOS · x86-64		 haskellPackages.refinery a343533bccc6
out
/nix/store/bdqmyx6fl80ydmhcw5i533c6n1jn8ch0-refinery-0.4.0.0
doc (not default)
/nix/store/25i0xppafv52825s0sj1wnfn84m1mdlz-refinery-0.4.0.0-doc
all 1 releases

JSON: /v2/pkg?name=haskellPackages.refinery · /v2/resolve?name=haskellPackages.refinery&version=0.4.0.0