{"name":"emacs28Packages.proof-general","version":"20220930.1309","summary":"","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c"},"attr_path":"emacs28Packages.proof-general"},"last_updated":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/wr9n458mmm5dwjnm0r7vxhgyp7m9nmap-emacs-proof-general-20220930.1309","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c"},"attr_path":"emacs28Packages.proof-general"},"last_updated":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/36k6x5wzayxzzjj1lc7xz5pj34nxl86l-emacs-proof-general-20220930.1309","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c"},"attr_path":"emacs28Packages.proof-general"},"last_updated":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/h9rrfycd5hd6ybid5afl18h91lpycbmz-emacs-proof-general-20220930.1309","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c"},"attr_path":"emacs28Packages.proof-general"},"last_updated":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/4qjrygi4l8idjn17xnkph37m8sv40g55-emacs-proof-general-20220930.1309","default":true}]}}}