{"name":"isabelle","version":"2024","summary":"A generic proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"isabelle"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/brzvsh9dc3k469hnffa4isabxwx8kd0v-isabelle-2024","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"isabelle"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/zskddzkf7j3kk9bzaqcilykx548n1lli-isabelle-2024","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"isabelle"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/h6yy2ffqdl0gxza4pwgzyjc2pb1fx0vd-isabelle-2024","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c"},"attr_path":"isabelle"},"last_updated":"2025-04-17T05:47:26Z","outputs":[{"name":"out","path":"/nix/store/6j0pn6dmyh9a6cfaf4rlmiaqwcri0ln7-isabelle-2024","default":true}]}}}