{"name":"ocamlPackages.hol_light","summary":"Interactive theorem prover based on Higher-Order Logic","description":"","homepage_url":"http://www.cl.cam.ac.uk/~jrh13/hol-light/","license":"BSD-2-Clause","attribute_paths":["ocamlPackages.hol_light"],"releases":[{"version":"2019-10-06","last_updated":"2022-02-28T23:39:37Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.hol_light","commit_hash":"6cb23bdec767caa938c3c17bfd2a1dbddce4427f","date":"2022-02-28T23:39:37Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.hol_light","commit_hash":"6cb23bdec767caa938c3c17bfd2a1dbddce4427f","date":"2022-02-28T23:39:37Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.hol_light","commit_hash":"6cb23bdec767caa938c3c17bfd2a1dbddce4427f","date":"2022-02-28T23:39:37Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}