{"name":"emacsPackages.proof-general","version":"20250527.1439","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2a2130494ad647f953593c4e84ea4df839fbd68c"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-07-08T22:16:38Z","outputs":[{"name":"out","path":"/nix/store/45s02bnv4504x72414ak8dynb3cd2yy3-emacs-proof-general-20250527.1439","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"992f916556fcfaa94451ebc7fc6e396134bbf5b1"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-06-25T00:36:27Z","outputs":[{"name":"out","path":"/nix/store/n6dbbl20s1d3q8jgsny567p84nykb0bn-emacs-proof-general-20250527.1439","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2a2130494ad647f953593c4e84ea4df839fbd68c"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-07-08T22:16:38Z","outputs":[{"name":"out","path":"/nix/store/vim4n3c0j4zshhx7rfa2jm8hax9cqc2b-emacs-proof-general-20250527.1439","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"992f916556fcfaa94451ebc7fc6e396134bbf5b1"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-06-25T00:36:27Z","outputs":[{"name":"out","path":"/nix/store/v7g14b57qm2r5jayd1xm6mv694hg1wah-emacs-proof-general-20250527.1439","default":true}]}}}