{"name":"emacsPackages.proof-general","version":"20240223.1405","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"20bc93ca7b2158ebc99b8cef987a2173a81cde35"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2024-03-23T13:32:18Z","outputs":[{"name":"out","path":"/nix/store/3fclnyqbvp0038rfmndsij4ai0fsd3aw-emacs-proof-general-20240223.1405","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a3ed7406349a9335cb4c2a71369b697cecd9d351"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2024-03-22T11:26:23Z","outputs":[{"name":"out","path":"/nix/store/36hwzc16pg88z7s9ymmw9pymp9jashw9-emacs-proof-general-20240223.1405","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"20bc93ca7b2158ebc99b8cef987a2173a81cde35"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2024-03-23T13:32:18Z","outputs":[{"name":"out","path":"/nix/store/76yzra641fqa6x609wdshrlwy5cd92l6-emacs-proof-general-20240223.1405","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a3ed7406349a9335cb4c2a71369b697cecd9d351"},"attr_path":"emacsPackages.proof-general"},"last_updated":"2024-03-22T11:26:23Z","outputs":[{"name":"out","path":"/nix/store/w8v1wjw112w9j0fl1xdzb9js31d6dsi3-emacs-proof-general-20240223.1405","default":true}]}}}