{"name":"emacs28Packages.proof-general","summary":"","description":"","homepage_url":"https://github.com/ProofGeneral/PG","license":"","attribute_paths":["emacs28Packages.proof-general"],"releases":[{"version":"20220930.1309","last_updated":"2022-10-22T16:07:30Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacs28Packages.proof-general","commit_hash":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c","date":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/wr9n458mmm5dwjnm0r7vxhgyp7m9nmap-emacs-proof-general-20220930.1309","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacs28Packages.proof-general","commit_hash":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c","date":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/36k6x5wzayxzzjj1lc7xz5pj34nxl86l-emacs-proof-general-20220930.1309","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacs28Packages.proof-general","commit_hash":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c","date":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/h9rrfycd5hd6ybid5afl18h91lpycbmz-emacs-proof-general-20220930.1309","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacs28Packages.proof-general","commit_hash":"31acb601e388eb7d552f137dbe5cb4677fdf1c3c","date":"2022-10-22T16:07:30Z","outputs":[{"name":"out","path":"/nix/store/4qjrygi4l8idjn17xnkph37m8sv40g55-emacs-proof-general-20220930.1309","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20220803.1702","last_updated":"2022-09-29T07:16:47Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacs28Packages.proof-general","commit_hash":"8ba120420fbdd9bd35b3a5366fa0206d8c99ade3","date":"2022-09-29T07:16:47Z","outputs":[{"name":"out","path":"/nix/store/9w784a6nx2k931s66gg3c4rm157gmg81-emacs-proof-general-20220803.1702","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacs28Packages.proof-general","commit_hash":"8ba120420fbdd9bd35b3a5366fa0206d8c99ade3","date":"2022-09-29T07:16:47Z","outputs":[{"name":"out","path":"/nix/store/k03d0hlp4x42knqaz2qzymm1mz7wbz54-emacs-proof-general-20220803.1702","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacs28Packages.proof-general","commit_hash":"8ba120420fbdd9bd35b3a5366fa0206d8c99ade3","date":"2022-09-29T07:16:47Z","outputs":[{"name":"out","path":"/nix/store/c1006px0rz2ffrbchq5aarla1k5a165s-emacs-proof-general-20220803.1702","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacs28Packages.proof-general","commit_hash":"8ba120420fbdd9bd35b3a5366fa0206d8c99ade3","date":"2022-09-29T07:16:47Z","outputs":[{"name":"out","path":"/nix/store/rlvhvrz8jmy4dac1h1dfgfig33bij7hz-emacs-proof-general-20220803.1702","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20220714.1137","last_updated":"2022-08-03T16:04:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacs28Packages.proof-general","commit_hash":"81094ccd6a0aa13ed176c815a60c4e25b49f072d","date":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/2jldpig9j65qs5kns76rvqa392ydc618-emacs-proof-general-20220714.1137","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacs28Packages.proof-general","commit_hash":"81094ccd6a0aa13ed176c815a60c4e25b49f072d","date":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/b1r4ad5hb1kb8zpjc4p8j16fng40pc2m-emacs-proof-general-20220714.1137","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacs28Packages.proof-general","commit_hash":"81094ccd6a0aa13ed176c815a60c4e25b49f072d","date":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/ap5cna2fibrnyj2195jszxjv4pazy9ss-emacs-proof-general-20220714.1137","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacs28Packages.proof-general","commit_hash":"81094ccd6a0aa13ed176c815a60c4e25b49f072d","date":"2022-08-03T16:04:48Z","outputs":[{"name":"out","path":"/nix/store/3vddbjgxks09ypa8lpg4f8n7sxxfwl8g-emacs-proof-general-20220714.1137","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20220525.1052","last_updated":"2022-07-08T15:07:10Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacs28Packages.proof-general","commit_hash":"334ec8b503c3981e37a04b817a70e8d026ea9e84","date":"2022-07-08T15:07:10Z","outputs":[{"name":"out","path":"/nix/store/6krb7ip8vvdb4s1wfnam0n0bzlrxdvz5-emacs-proof-general-20220525.1052","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacs28Packages.proof-general","commit_hash":"334ec8b503c3981e37a04b817a70e8d026ea9e84","date":"2022-07-08T15:07:10Z","outputs":[{"name":"out","path":"/nix/store/hsmri1xm3jf76jyvlk7yaf0k127q74mz-emacs-proof-general-20220525.1052","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacs28Packages.proof-general","commit_hash":"334ec8b503c3981e37a04b817a70e8d026ea9e84","date":"2022-07-08T15:07:10Z","outputs":[{"name":"out","path":"/nix/store/bq9lhslssszwf08hbyv2glwwx6gj9r4c-emacs-proof-general-20220525.1052","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacs28Packages.proof-general","commit_hash":"334ec8b503c3981e37a04b817a70e8d026ea9e84","date":"2022-07-08T15:07:10Z","outputs":[{"name":"out","path":"/nix/store/w1v7c8jkqv9x2ljys1y802scg4iqsmrk-emacs-proof-general-20220525.1052","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20220329.655","last_updated":"2022-06-02T17:14:19Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacs28Packages.proof-general","commit_hash":"059530fbdb1a2e0f78e896a93d6b6da5999485d9","date":"2022-06-02T17:14:19Z","outputs":[{"name":"out","path":"/nix/store/32jls0l7l1z0gnkwp6lb6yrgk56aky0d-emacs-proof-general-20220329.655","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacs28Packages.proof-general","commit_hash":"059530fbdb1a2e0f78e896a93d6b6da5999485d9","date":"2022-06-02T17:14:19Z","outputs":[{"name":"out","path":"/nix/store/jvbzdivj6dqag73kk049ippjgqfqkisn-emacs-proof-general-20220329.655","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacs28Packages.proof-general","commit_hash":"059530fbdb1a2e0f78e896a93d6b6da5999485d9","date":"2022-06-02T17:14:19Z","outputs":[{"name":"out","path":"/nix/store/f8chmy8dd0ckrqxamvb5dgzvhs0pcfww-emacs-proof-general-20220329.655","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}