{"name":"isabelle","version":"2021-1","summary":"A generic proof assistant","systems":{"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2f7f695dd7ec0fb0057ea5f87aeda92b4f8633fe"},"attr_path":"isabelle"},"last_updated":"2022-12-02T13:52:35Z","outputs":[{"name":"out","path":"/nix/store/61798n0hkgz1rlwa30h2y87snvbml6dj-isabelle-2021-1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2f7f695dd7ec0fb0057ea5f87aeda92b4f8633fe"},"attr_path":"isabelle"},"last_updated":"2022-12-02T13:52:35Z","outputs":[{"name":"out","path":"/nix/store/hhxlfx8ylb3spkghin7qikz6c7cda9r1-isabelle-2021-1","default":true}]}}}