nixsearch
nixsearch / pkg / ocamlPackages.hol_light / 2019-10-06

ocamlPackages.hol_light 2019-10-06

Interactive theorem prover based on Higher-Order Logic
Linux and macOS last changed

Pin this version

$ devbox add ocamlPackages.hol_light@2019-10-06
systemsaarch64-darwin, x86_64-darwin, x86_64-linux commit6cb23bdec767caa938c3c17bfd2a1dbddce4427f 
$ nix shell github:NixOS/nixpkgs/6cb23bdec767caa938c3c17bfd2a1dbddce4427f#ocamlPackages.hol_light

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.hol_light 6cb23bdec767
x86_64-darwin
macOS · x86-64		 ocamlPackages.hol_light 6cb23bdec767
x86_64-linux
Linux · x86-64		 ocamlPackages.hol_light 6cb23bdec767
all 1 releases

JSON: /v2/pkg?name=ocamlPackages.hol_light · /v2/resolve?name=ocamlPackages.hol_light&version=2019-10-06