{"name":"emacsPackages.proof-general","version":"20240912.1558","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/3y3fvkpfadpyk5wi0rvx4igjzw19wcsw-emacs-proof-general-20240912.1558","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/scxfv36rll8h5n4ppiqrvc649821crp0-emacs-proof-general-20240912.1558","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/5z75nib19l7z79nkwg7d3kvgq5lsh99c-emacs-proof-general-20240912.1558","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"566e53c2ad750c84f6d31f9ccb9d00f823165550"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/nxskg0cj8a03l86iy983s2hg8jmjxwmf-emacs-proof-general-20240912.1558","default":true}]}}}