nixsearch
nixsearch / pkg / haskellPackages.verifiable-expressions / 0.6.3

haskellPackages.verifiable-expressions 0.6.3

An intermediate language for Hoare logic style verification
macOS (Intel only) last changed outputs: out (macOS only), doc (macOS only)

Pin this version

$ devbox add haskellPackages.verifiable-expressions@0.6.3
systemsx86_64-darwin commitb86751bc4085f48661017fa226dee99fab6c651b 
$ nix shell github:NixOS/nixpkgs/b86751bc4085f48661017fa226dee99fab6c651b#haskellPackages.verifiable-expressions

Per system

SystemAttributeCommitDateOutputsFlags
x86_64-darwin
macOS · x86-64		 haskellPackages.verifiable-expressions b86751bc4085
out
/nix/store/0rzrx77p9k84cnb0g0xc02kgvv55d0b1-verifiable-expressions-0.6.3
doc (not default)
/nix/store/6hnnx8nqxr4v9y5w8gab4f62pb1ai8j9-verifiable-expressions-0.6.3-doc
all 2 releases older: 0.6.2 →

JSON: /v2/pkg?name=haskellPackages.verifiable-expressions · /v2/resolve?name=haskellPackages.verifiable-expressions&version=0.6.3