nixsearch
nixsearch / pkg / ocamlPackages.psmt2-frontend / 0.3.1

ocamlPackages.psmt2-frontend 0.3.1

Simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language
Linux and macOS last changed

Pin this version

$ devbox add ocamlPackages.psmt2-frontend@0.3.1
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit4c3c80df545ec5cb26b5480979c3e3f93518cbe5 
$ nix shell github:NixOS/nixpkgs/4c3c80df545ec5cb26b5480979c3e3f93518cbe5#ocamlPackages.psmt2-frontend

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.psmt2-frontend 4c3c80df545e
out
/nix/store/7ssd8ls6vw6hh6c1ll6513ywizh605xr-ocaml4.13.1-psmt2-frontend-0.3.1
aarch64-linux
Linux · arm64		 ocamlPackages.psmt2-frontend 4c3c80df545e
out
/nix/store/m36halcpc8i93pb3czllsxwjqvgzbc1p-ocaml4.13.1-psmt2-frontend-0.3.1
x86_64-darwin
macOS · x86-64		 ocamlPackages.psmt2-frontend 4c3c80df545e
out
/nix/store/8iq3k45k382z84r9pnrv3l7pyi8pfr3p-ocaml4.13.1-psmt2-frontend-0.3.1
x86_64-linux
Linux · x86-64		 ocamlPackages.psmt2-frontend 4c3c80df545e
← newer: 0.4.0 all 3 releases older: 0.2 →

JSON: /v2/pkg?name=ocamlPackages.psmt2-frontend · /v2/resolve?name=ocamlPackages.psmt2-frontend&version=0.3.1