nixsearch
nixsearch / pkg / haskellPackages.copilot-sbv / 2.2.1

haskellPackages.copilot-sbv 2.2.1

A compiler for CoPilot targeting SBV
macOS (Intel only) last changed outputs: out (macOS only), doc (macOS only)

Pin this version

$ devbox add haskellPackages.copilot-sbv@2.2.1
systemsx86_64-darwin commitb86751bc4085f48661017fa226dee99fab6c651b 
$ nix shell github:NixOS/nixpkgs/b86751bc4085f48661017fa226dee99fab6c651b#haskellPackages.copilot-sbv

Per system

SystemAttributeCommitDateOutputsFlags
x86_64-darwin
macOS · x86-64		 haskellPackages.copilot-sbv b86751bc4085
out
/nix/store/pshmy3c34k90w1q2cw52mj2dwrr9n4db-copilot-sbv-2.2.1
doc (not default)
/nix/store/3razfz1a4jz5bcsl3pdkhpj48lcismx1-copilot-sbv-2.2.1-doc
all 1 releases

JSON: /v2/pkg?name=haskellPackages.copilot-sbv · /v2/resolve?name=haskellPackages.copilot-sbv&version=2.2.1