{"name":"emacs28Packages.proof-general","version":"20220525.1052","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"334ec8b503c3981e37a04b817a70e8d026ea9e84"},"attr_path":"emacs28Packages.proof-general"},"last_updated":"2022-07-08T15:07:10Z","outputs":[{"name":"out","path":"/nix/store/6krb7ip8vvdb4s1wfnam0n0bzlrxdvz5-emacs-proof-general-20220525.1052","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"334ec8b503c3981e37a04b817a70e8d026ea9e84"},"attr_path":"emacs28Packages.proof-general"},"last_updated":"2022-07-08T15:07:10Z","outputs":[{"name":"out","path":"/nix/store/hsmri1xm3jf76jyvlk7yaf0k127q74mz-emacs-proof-general-20220525.1052","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"334ec8b503c3981e37a04b817a70e8d026ea9e84"},"attr_path":"emacs28Packages.proof-general"},"last_updated":"2022-07-08T15:07:10Z","outputs":[{"name":"out","path":"/nix/store/bq9lhslssszwf08hbyv2glwwx6gj9r4c-emacs-proof-general-20220525.1052","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"334ec8b503c3981e37a04b817a70e8d026ea9e84"},"attr_path":"emacs28Packages.proof-general"},"last_updated":"2022-07-08T15:07:10Z","outputs":[{"name":"out","path":"/nix/store/w1v7c8jkqv9x2ljys1y802scg4iqsmrk-emacs-proof-general-20220525.1052","default":true}]}}}