{"name":"emacsPackages.proof-general","version":"20241126.32","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/rr5irazbnc45yisac9c1p5gb9vv0ryy2-emacs-proof-general-20241126.32","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/clal5418pwfxxrkik2ag9yzp1dx86nyi-emacs-proof-general-20241126.32","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/38v2qckgy2zc47xyhiaj6zy9pg9rqs0n-emacs-proof-general-20241126.32","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/clmr799c50276g4fyv6j3wvp9aiw2ygm-emacs-proof-general-20241126.32","default":true}]}}}