{"name":"emacs28Packages.proof-general","version":"20220714.1137","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"81094ccd6a0aa13ed176c815a60c4e25b49f072d"},"attr_path":"emacs28Packages.proof-general"},"last_updated":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/2jldpig9j65qs5kns76rvqa392ydc618-emacs-proof-general-20220714.1137","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"81094ccd6a0aa13ed176c815a60c4e25b49f072d"},"attr_path":"emacs28Packages.proof-general"},"last_updated":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/b1r4ad5hb1kb8zpjc4p8j16fng40pc2m-emacs-proof-general-20220714.1137","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"81094ccd6a0aa13ed176c815a60c4e25b49f072d"},"attr_path":"emacs28Packages.proof-general"},"last_updated":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/ap5cna2fibrnyj2195jszxjv4pazy9ss-emacs-proof-general-20220714.1137","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"81094ccd6a0aa13ed176c815a60c4e25b49f072d"},"attr_path":"emacs28Packages.proof-general"},"last_updated":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/3vddbjgxks09ypa8lpg4f8n7sxxfwl8g-emacs-proof-general-20220714.1137","default":true}]}}}