{"name":"emacsPackages.proof-general","version":"20260113.1228","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80d901ec0377e19ac3f7bb8c035201e2e098cc97"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2026-02-23T15:40:43Z","outputs":[{"name":"out","path":"/nix/store/mn4j9ra9nhrgdfns5l1ysvxivw71mpkj-emacs-proof-general-20260113.1228","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c0f3d81a7ddbc2b1332be0d8481a672b4f6004d6"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2026-02-27T06:27:13Z","outputs":[{"name":"out","path":"/nix/store/8d5a3flghpnrf9p6rypf6yzk9p1ng6fh-emacs-proof-general-20260113.1228","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"80d901ec0377e19ac3f7bb8c035201e2e098cc97"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2026-02-23T15:40:43Z","outputs":[{"name":"out","path":"/nix/store/n2ri35m0s4712cm36wwfn66llzfc920i-emacs-proof-general-20260113.1228","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c0f3d81a7ddbc2b1332be0d8481a672b4f6004d6"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2026-02-27T06:27:13Z","outputs":[{"name":"out","path":"/nix/store/bphnag6gwr8ng5g07h63kv37z78dhczl-emacs-proof-general-20260113.1228","default":true}]}}}