{"name":"emacs27Packages.proof-general","summary":"","description":"","homepage_url":"https://github.com/ProofGeneral/PG","license":"","attribute_paths":["emacs27Packages.proof-general"],"releases":[{"version":"20220329.655","last_updated":"2022-04-14T18:32:18Z","platforms":[{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacs27Packages.proof-general","commit_hash":"d08394e7cd5c7431a1e8f53b7f581e74ee909548","date":"2022-04-14T18:32:18Z","outputs":[{"name":"out","path":"/nix/store/nf915rdb1wsp5jlz0qrz0n1j0667zq81-emacs-proof-general-20220329.655","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20220310.2253","last_updated":"2022-04-13T09:49:25Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacs27Packages.proof-general","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/wpvhkrwq0b2p7cdiqsjm6hl9yzw93zvj-emacs-proof-general-20220310.2253","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacs27Packages.proof-general","commit_hash":"0343e3415784b2cd9c68924294794f7dbee12ab3","date":"2022-04-13T09:49:25Z","outputs":[{"name":"out","path":"/nix/store/8579kk2mag576b2yi3bfnv0piqrbfh82-emacs-proof-general-20220310.2253","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacs27Packages.proof-general","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/0qy7xiwzqk2fnf37gkgc0gwz1pkkxf73-emacs-proof-general-20220310.2253","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20220209.1726","last_updated":"2022-03-13T09:24:18Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacs27Packages.proof-general","commit_hash":"02177737c5d977444df41e0f5d6124c48c64bba3","date":"2022-03-12T09:51:53Z","outputs":[{"name":"out","path":"/nix/store/ndxjwikyhqc6pnf7cs460xdacwsbkh9f-emacs-proof-general-20220209.1726","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacs27Packages.proof-general","commit_hash":"02177737c5d977444df41e0f5d6124c48c64bba3","date":"2022-03-12T09:51:53Z","outputs":[{"name":"out","path":"/nix/store/6n4bhcqkwrfnjzam36940674iijrrqn1-emacs-proof-general-20220209.1726","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacs27Packages.proof-general","commit_hash":"a4684b5462b6c66dd7ad2a7dfb2e5c1fca5582e4","date":"2022-03-13T09:24:18Z","outputs":[{"name":"out","path":"/nix/store/lxmpbsgb5dwz8wmg7i2qi5y9n52b1sii-emacs-proof-general-20220209.1726","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20211217.1753","last_updated":"2022-02-09T15:24:27Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacs27Packages.proof-general","commit_hash":"98bb5b77c8c6666824a4c13d23befa1e07210ef1","date":"2022-02-09T15:24:27Z","outputs":[{"name":"out","path":"/nix/store/m3aqza54vxqrvfiidg3qy5inxl6ghg70-emacs-proof-general-20211217.1753","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacs27Packages.proof-general","commit_hash":"98bb5b77c8c6666824a4c13d23befa1e07210ef1","date":"2022-02-09T15:24:27Z","outputs":[{"name":"out","path":"/nix/store/ipjywf11l3ai5vf10y3xwbs97lankgam-emacs-proof-general-20211217.1753","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacs27Packages.proof-general","commit_hash":"98bb5b77c8c6666824a4c13d23befa1e07210ef1","date":"2022-02-09T15:24:27Z","outputs":[{"name":"out","path":"/nix/store/9gkk62c5y8rxi34nmhjsyy631bxjdvcv-emacs-proof-general-20211217.1753","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacs27Packages.proof-general","commit_hash":"98bb5b77c8c6666824a4c13d23befa1e07210ef1","date":"2022-02-09T15:24:27Z","outputs":[{"name":"out","path":"/nix/store/f5clq1jh6jd8vb1c2l9wfwflzkhxhhac-emacs-proof-general-20211217.1753","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}