{"name":"ocamlPackages.hol_light","version":"2019-10-06","summary":"Interactive theorem prover based on Higher-Order Logic","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6cb23bdec767caa938c3c17bfd2a1dbddce4427f"},"attr_path":"ocamlPackages.hol_light"},"last_updated":"2022-02-28T23:39:37Z"},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6cb23bdec767caa938c3c17bfd2a1dbddce4427f"},"attr_path":"ocamlPackages.hol_light"},"last_updated":"2022-02-28T23:39:37Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6cb23bdec767caa938c3c17bfd2a1dbddce4427f"},"attr_path":"ocamlPackages.hol_light"},"last_updated":"2022-02-28T23:39:37Z"}}}