{"name":"isabelle","version":"2018","summary":"A generic proof assistant","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"1c014d4a0ec4b872d2451612422b337ee604f779"},"attr_path":"isabelle"},"last_updated":"2020-08-22T05:03:01Z"}}}