{"name":"emacsPackages.proof-general","version":"20250402.804","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/q868149s6g5yf1g5k9az7z1vvhja5p3b-emacs-proof-general-20250402.804","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/c9sp396fcr14wjzs511z2llirs5p3a1w-emacs-proof-general-20250402.804","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/rxxsc21qn7sbyi83ivqfnjk5kv3bvqlp-emacs-proof-general-20250402.804","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/qf2q9ph3ynsbl24yl3hnmq9v7f5zkwp2-emacs-proof-general-20250402.804","default":true}]}}}