{"name":"emacs28Packages.proof-general","version":"20220803.1702","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8ba120420fbdd9bd35b3a5366fa0206d8c99ade3"},"attr_path":"emacs28Packages.proof-general"},"last_updated":"2022-09-29T07:16:47Z","outputs":[{"name":"out","path":"/nix/store/9w784a6nx2k931s66gg3c4rm157gmg81-emacs-proof-general-20220803.1702","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8ba120420fbdd9bd35b3a5366fa0206d8c99ade3"},"attr_path":"emacs28Packages.proof-general"},"last_updated":"2022-09-29T07:16:47Z","outputs":[{"name":"out","path":"/nix/store/k03d0hlp4x42knqaz2qzymm1mz7wbz54-emacs-proof-general-20220803.1702","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8ba120420fbdd9bd35b3a5366fa0206d8c99ade3"},"attr_path":"emacs28Packages.proof-general"},"last_updated":"2022-09-29T07:16:47Z","outputs":[{"name":"out","path":"/nix/store/c1006px0rz2ffrbchq5aarla1k5a165s-emacs-proof-general-20220803.1702","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8ba120420fbdd9bd35b3a5366fa0206d8c99ade3"},"attr_path":"emacs28Packages.proof-general"},"last_updated":"2022-09-29T07:16:47Z","outputs":[{"name":"out","path":"/nix/store/rlvhvrz8jmy4dac1h1dfgfig33bij7hz-emacs-proof-general-20220803.1702","default":true}]}}}