{"name":"emacsPackages.proof-general","summary":"","description":"","homepage_url":"https://github.com/ProofGeneral/PG","license":"","attribute_paths":["emacsPackages.proof-general"],"releases":[{"version":"20260825.1221","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/gg0b92b90l3d7wicg4qmi16w2649slg6-emacs-proof-general-20260825.1221","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/wvyk2ggvsng402w1x0ddcv1f86sq8rgv-emacs-proof-general-20260825.1221","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/8mqhvcqjfpljpxay1hf2x7hdpjxv4kd0-emacs-proof-general-20260825.1221","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20260622.1503","last_updated":"2026-09-13T01:58:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/1yrhwvdpmdyjxnngrmb199198xx83gik-emacs-proof-general-20260622.1503","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/njhyd8igllnm7p66554advg5p5nf1v22-emacs-proof-general-20260622.1503","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b","date":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/jx6l1j4mbxvzs8rdya1wg5flhl53qw53-emacs-proof-general-20260622.1503","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/4kj8vwf48av8dcdyp34g4qiwxhzp2klg-emacs-proof-general-20260622.1503","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20260124.1351","last_updated":"2026-06-12T02:02:01Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"173d0ad7a974f8543a9ab01d2271b2e290341b33","date":"2026-06-12T02:02:01Z","outputs":[{"name":"out","path":"/nix/store/bhip0h157q4hz0n84141hza2w43lr8hm-emacs-proof-general-20260124.1351","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"173d0ad7a974f8543a9ab01d2271b2e290341b33","date":"2026-06-12T02:02:01Z","outputs":[{"name":"out","path":"/nix/store/hmcgj66i4pw0mrhs9mvl45bi4p76nrr0-emacs-proof-general-20260124.1351","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"173d0ad7a974f8543a9ab01d2271b2e290341b33","date":"2026-06-12T02:02:01Z","outputs":[{"name":"out","path":"/nix/store/qs63m25ss652rmanr2ps5fhwb0yz0zrb-emacs-proof-general-20260124.1351","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"173d0ad7a974f8543a9ab01d2271b2e290341b33","date":"2026-06-12T02:02:01Z","outputs":[{"name":"out","path":"/nix/store/zb8svk1867m828xr8grl8j0gcbss1djb-emacs-proof-general-20260124.1351","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20260113.1228","last_updated":"2026-02-27T06:27:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"80d901ec0377e19ac3f7bb8c035201e2e098cc97","date":"2026-02-23T15:40:43Z","outputs":[{"name":"out","path":"/nix/store/mn4j9ra9nhrgdfns5l1ysvxivw71mpkj-emacs-proof-general-20260113.1228","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"c0f3d81a7ddbc2b1332be0d8481a672b4f6004d6","date":"2026-02-27T06:27:13Z","outputs":[{"name":"out","path":"/nix/store/8d5a3flghpnrf9p6rypf6yzk9p1ng6fh-emacs-proof-general-20260113.1228","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"80d901ec0377e19ac3f7bb8c035201e2e098cc97","date":"2026-02-23T15:40:43Z","outputs":[{"name":"out","path":"/nix/store/n2ri35m0s4712cm36wwfn66llzfc920i-emacs-proof-general-20260113.1228","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"c0f3d81a7ddbc2b1332be0d8481a672b4f6004d6","date":"2026-02-27T06:27:13Z","outputs":[{"name":"out","path":"/nix/store/bphnag6gwr8ng5g07h63kv37z78dhczl-emacs-proof-general-20260113.1228","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20251120.1746","last_updated":"2026-01-26T13:12:53Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/s4dj0ysshsjdaij3zlz0awzq9jhq3m2k-emacs-proof-general-20251120.1746","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"13b0f9e6ac78abbbb736c635d87845c4f4bee51b","date":"2026-01-26T13:12:53Z","outputs":[{"name":"out","path":"/nix/store/mg3kj5b6k4kakz5afnrc6b7cjiwsdf1g-emacs-proof-general-20251120.1746","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/7y38dc9kdwx78am1fcpn349jzp760i5k-emacs-proof-general-20251120.1746","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"13b0f9e6ac78abbbb736c635d87845c4f4bee51b","date":"2026-01-26T13:12:53Z","outputs":[{"name":"out","path":"/nix/store/r6h4p9g1glrrlrv6hiw1wv4l9s8bn5rh-emacs-proof-general-20251120.1746","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20250915.1038","last_updated":"2025-11-23T21:50:36Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/kslxypf2s9bh7iha8k78dah6xwpzdmri-emacs-proof-general-20250915.1038","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/68nj8hqmcr227i8w7k01wmi16v1939y2-emacs-proof-general-20250915.1038","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/wvfq5l7311vrw4hd8kbd665m110l03br-emacs-proof-general-20250915.1038","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/xg7f5sqx94z0rwn2fl902j54nds2gvg3-emacs-proof-general-20250915.1038","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20250623.2108","last_updated":"2025-10-08T01:30:28Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"8b5c9dd8856f0c0cf46cc91f2c21c106a9d42e25","date":"2025-10-08T01:30:28Z","outputs":[{"name":"out","path":"/nix/store/iw8xwwwq3h68cdn4vn0331hc128sfv0g-emacs-proof-general-20250623.2108","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"8b5c9dd8856f0c0cf46cc91f2c21c106a9d42e25","date":"2025-10-08T01:30:28Z","outputs":[{"name":"out","path":"/nix/store/mbk0csydlc9ym224x2kfvy0awbs3rr8y-emacs-proof-general-20250623.2108","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"8b5c9dd8856f0c0cf46cc91f2c21c106a9d42e25","date":"2025-10-08T01:30:28Z","outputs":[{"name":"out","path":"/nix/store/ys2zn280vk6nl8xpz373wf8yx1kvh3mx-emacs-proof-general-20250623.2108","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"8b5c9dd8856f0c0cf46cc91f2c21c106a9d42e25","date":"2025-10-08T01:30:28Z","outputs":[{"name":"out","path":"/nix/store/484a3d7hc8dfrdh17k4wsk6wlmwpmx47-emacs-proof-general-20250623.2108","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20250527.1439","last_updated":"2025-07-08T22:16:38Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"2a2130494ad647f953593c4e84ea4df839fbd68c","date":"2025-07-08T22:16:38Z","outputs":[{"name":"out","path":"/nix/store/45s02bnv4504x72414ak8dynb3cd2yy3-emacs-proof-general-20250527.1439","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"992f916556fcfaa94451ebc7fc6e396134bbf5b1","date":"2025-06-25T00:36:27Z","outputs":[{"name":"out","path":"/nix/store/n6dbbl20s1d3q8jgsny567p84nykb0bn-emacs-proof-general-20250527.1439","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"2a2130494ad647f953593c4e84ea4df839fbd68c","date":"2025-07-08T22:16:38Z","outputs":[{"name":"out","path":"/nix/store/vim4n3c0j4zshhx7rfa2jm8hax9cqc2b-emacs-proof-general-20250527.1439","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"992f916556fcfaa94451ebc7fc6e396134bbf5b1","date":"2025-06-25T00:36:27Z","outputs":[{"name":"out","path":"/nix/store/v7g14b57qm2r5jayd1xm6mv694hg1wah-emacs-proof-general-20250527.1439","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20250516.913","last_updated":"2025-05-26T17:43:11Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"359c442b7d1f6229c1dc978116d32d6c07fe8440","date":"2025-05-19T23:16:24Z","outputs":[{"name":"out","path":"/nix/store/v6k5aw8018yzcly9cw1rkpm7gzd0zpfv-emacs-proof-general-20250516.913","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"bdc995d3e97cec29eacc8fbe87e66edfea26b861","date":"2025-05-26T17:43:11Z","outputs":[{"name":"out","path":"/nix/store/v9k8hlf73rgq70p65kmvmasiwkk34qdg-emacs-proof-general-20250516.913","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"359c442b7d1f6229c1dc978116d32d6c07fe8440","date":"2025-05-19T23:16:24Z","outputs":[{"name":"out","path":"/nix/store/3rwbw2rwvzqdwyahx96fran8n7a5hrd3-emacs-proof-general-20250516.913","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"bdc995d3e97cec29eacc8fbe87e66edfea26b861","date":"2025-05-26T17:43:11Z","outputs":[{"name":"out","path":"/nix/store/8qihkykvdia53ppy7fvxj3a1vzap19w8-emacs-proof-general-20250516.913","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20250402.804","last_updated":"2025-05-16T20:19:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/q868149s6g5yf1g5k9az7z1vvhja5p3b-emacs-proof-general-20250402.804","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/c9sp396fcr14wjzs511z2llirs5p3a1w-emacs-proof-general-20250402.804","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/rxxsc21qn7sbyi83ivqfnjk5kv3bvqlp-emacs-proof-general-20250402.804","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/qf2q9ph3ynsbl24yl3hnmq9v7f5zkwp2-emacs-proof-general-20250402.804","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20250125.1556","last_updated":"2025-03-30T07:43:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"bd3bac8bfb542dbde7ffffb6987a1a1f9d41699f","date":"2025-03-26T18:47:43Z","outputs":[{"name":"out","path":"/nix/store/bzr0w4hw5ak5gfkq3bpyj70l9x6acqni-emacs-proof-general-20250125.1556","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"63158b9cbb6ec93d26255871c447b0f01da81619","date":"2025-03-30T07:43:48Z","outputs":[{"name":"out","path":"/nix/store/z4kd01zfm8z4m1i000kdn72yv9gnbm2i-emacs-proof-general-20250125.1556","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"63158b9cbb6ec93d26255871c447b0f01da81619","date":"2025-03-30T07:43:48Z","outputs":[{"name":"out","path":"/nix/store/qniq74l582bgnfpwlq8xn6z6dsqvwpfk-emacs-proof-general-20250125.1556","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"63158b9cbb6ec93d26255871c447b0f01da81619","date":"2025-03-30T07:43:48Z","outputs":[{"name":"out","path":"/nix/store/4wgw57c5kvfxbpm6d2cbgjfc5hnqw95l-emacs-proof-general-20250125.1556","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20241126.32","last_updated":"2025-01-19T08:16:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/rr5irazbnc45yisac9c1p5gb9vv0ryy2-emacs-proof-general-20241126.32","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/clal5418pwfxxrkik2ag9yzp1dx86nyi-emacs-proof-general-20241126.32","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/38v2qckgy2zc47xyhiaj6zy9pg9rqs0n-emacs-proof-general-20241126.32","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"50165c4f7eb48ce82bd063e1fb8047a0f515f8ce","date":"2025-01-19T08:16:51Z","outputs":[{"name":"out","path":"/nix/store/clmr799c50276g4fyv6j3wvp9aiw2ygm-emacs-proof-general-20241126.32","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20240912.1558","last_updated":"2024-12-03T12:40:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/3y3fvkpfadpyk5wi0rvx4igjzw19wcsw-emacs-proof-general-20240912.1558","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/scxfv36rll8h5n4ppiqrvc649821crp0-emacs-proof-general-20240912.1558","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/5z75nib19l7z79nkwg7d3kvgq5lsh99c-emacs-proof-general-20240912.1558","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"566e53c2ad750c84f6d31f9ccb9d00f823165550","date":"2024-12-03T12:40:06Z","outputs":[{"name":"out","path":"/nix/store/nxskg0cj8a03l86iy983s2hg8jmjxwmf-emacs-proof-general-20240912.1558","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20240708.1525","last_updated":"2024-10-13T23:44:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/zrxl13shh0fx32b4cjwwdz6dbhknifda-emacs-proof-general-20240708.1525","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/6g50bjzg5xwhjfqg8p0268lr24ji7b0n-emacs-proof-general-20240708.1525","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/nlmxgkliqwdhmj92ririx2fm3vs7gn2p-emacs-proof-general-20240708.1525","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/xlhb3cybi8wv2w7nzijvcg9lnxd4cc7k-emacs-proof-general-20240708.1525","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20240513.720","last_updated":"2024-07-07T07:43:47Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/qlh26dbh7dng014l3nfz7g6l7y238gdl-emacs-proof-general-20240513.720","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/rsyv3bs0mxryhzwgjh6qimj7dihxwp2x-emacs-proof-general-20240513.720","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/4vng7gwz7pfa42bvqy5kf7b7azv9mr4p-emacs-proof-general-20240513.720","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/ca0m6sf5d5gzb84a842h0i25m19j57wb-emacs-proof-general-20240513.720","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20240425.939","last_updated":"2024-05-22T06:18:38Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/3sx2avlbmpglgi4db5fh2bzfn84qsm6b-emacs-proof-general-20240425.939","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/jdkpmspw64q227ys45bxssky03g5y1js-emacs-proof-general-20240425.939","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/plnfdmb83ycrmqc6yig7smb61s568n92-emacs-proof-general-20240425.939","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/0jn8w09riac3qh3x429mkx0aidlp7iqi-emacs-proof-general-20240425.939","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20240306.2002","last_updated":"2024-05-03T15:42:32Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc","date":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/f3i9210fg747brbhq3dbak024a5gkd6c-emacs-proof-general-20240306.2002","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc","date":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/2gkg5l2fmk4xrx94idcparry0a089pcb-emacs-proof-general-20240306.2002","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc","date":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/g7x7vgd532hp3zaqlplwfw099vazbqxw-emacs-proof-general-20240306.2002","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"5fd8536a9a5932d4ae8de52b7dc08d92041237fc","date":"2024-05-03T15:42:32Z","outputs":[{"name":"out","path":"/nix/store/32dyk7lra8icvx1idqnxvgcy379cbv9r-emacs-proof-general-20240306.2002","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20240223.1405","last_updated":"2024-03-23T13:32:18Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"20bc93ca7b2158ebc99b8cef987a2173a81cde35","date":"2024-03-23T13:32:18Z","outputs":[{"name":"out","path":"/nix/store/3fclnyqbvp0038rfmndsij4ai0fsd3aw-emacs-proof-general-20240223.1405","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"a3ed7406349a9335cb4c2a71369b697cecd9d351","date":"2024-03-22T11:26:23Z","outputs":[{"name":"out","path":"/nix/store/36hwzc16pg88z7s9ymmw9pymp9jashw9-emacs-proof-general-20240223.1405","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"20bc93ca7b2158ebc99b8cef987a2173a81cde35","date":"2024-03-23T13:32:18Z","outputs":[{"name":"out","path":"/nix/store/76yzra641fqa6x609wdshrlwy5cd92l6-emacs-proof-general-20240223.1405","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"a3ed7406349a9335cb4c2a71369b697cecd9d351","date":"2024-03-22T11:26:23Z","outputs":[{"name":"out","path":"/nix/store/w8v1wjw112w9j0fl1xdzb9js31d6dsi3-emacs-proof-general-20240223.1405","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20240123.1014","last_updated":"2024-02-24T23:06:34Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"9a9dae8f6319600fa9aebde37f340975cab4b8c0","date":"2024-02-24T23:06:34Z","outputs":[{"name":"out","path":"/nix/store/fw4pki7gaxwmwad6b119n2rmza62r5wp-emacs-proof-general-20240123.1014","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"9a9dae8f6319600fa9aebde37f340975cab4b8c0","date":"2024-02-24T23:06:34Z","outputs":[{"name":"out","path":"/nix/store/0x58q6br6n95rks6hlimzy5jvn63iwdh-emacs-proof-general-20240123.1014","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"9a9dae8f6319600fa9aebde37f340975cab4b8c0","date":"2024-02-24T23:06:34Z","outputs":[{"name":"out","path":"/nix/store/wcldvc80b0nbx8sfaps8m23dj47rqq8z-emacs-proof-general-20240123.1014","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"9a9dae8f6319600fa9aebde37f340975cab4b8c0","date":"2024-02-24T23:06:34Z","outputs":[{"name":"out","path":"/nix/store/4i9alqya7vjajpvx3wsik6w45dj926b7-emacs-proof-general-20240123.1014","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20231005.1645","last_updated":"2024-02-13T17:33:50Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"dd7b7a8f7b2943862403e40972e67823058f3525","date":"2024-02-13T17:33:50Z","outputs":[{"name":"out","path":"/nix/store/21jjxl751p9gmc4c0zg92sl2lvzf5pq6-emacs-proof-general-20231005.1645","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"dd7b7a8f7b2943862403e40972e67823058f3525","date":"2024-02-13T17:33:50Z","outputs":[{"name":"out","path":"/nix/store/slsdbrysl9kaj8hi88idqy52ly9acllb-emacs-proof-general-20231005.1645","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"dd7b7a8f7b2943862403e40972e67823058f3525","date":"2024-02-13T17:33:50Z","outputs":[{"name":"out","path":"/nix/store/fzvs839ag64y0j5px7b85smbw3zib2xj-emacs-proof-general-20231005.1645","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"dd7b7a8f7b2943862403e40972e67823058f3525","date":"2024-02-13T17:33:50Z","outputs":[{"name":"out","path":"/nix/store/flzcscmf38wwk5sjqw6ann23dghr9ps0-emacs-proof-general-20231005.1645","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20230414.931","last_updated":"2023-09-27T18:02:17Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/h514mx9icv0rwn85sz2pbflw4l9rin52-emacs-proof-general-20230414.931","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/m61zmbxd304dmn7w4smbj80hixwgs6jl-emacs-proof-general-20230414.931","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/jlkjp4sl755rj6kyslav9vbz74nbxmbb-emacs-proof-general-20230414.931","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"517501bcf14ae6ec47efd6a17dda0ca8e6d866f9","date":"2023-09-27T18:02:17Z","outputs":[{"name":"out","path":"/nix/store/cwzgn723w5sb4zhv9rpwc448r3r4mmm7-emacs-proof-general-20230414.931","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20230326.2334","last_updated":"2023-04-13T03:55:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/kwh214nfl8s44z2ska0b86kp78a9r0yv-emacs-proof-general-20230326.2334","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/w8vkxv3i6v0zw86svvrxnx3vdb91bfcn-emacs-proof-general-20230326.2334","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/5zap2m8x5c43v09q93qjhgj1xn6n0ml1-emacs-proof-general-20230326.2334","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/09hzqhgbwbkw4qq5bz9hys87brb74bwv-emacs-proof-general-20230326.2334","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20230130.1024","last_updated":"2023-03-28T10:29:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"98f3b08f58ff125ef02d55cd52a83f44f245f2ea","date":"2023-03-28T10:29:13Z","outputs":[{"name":"out","path":"/nix/store/j9c8783zxi6nbi831v4za4s0d2p4avn8-emacs-proof-general-20230130.1024","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"98f3b08f58ff125ef02d55cd52a83f44f245f2ea","date":"2023-03-28T10:29:13Z","outputs":[{"name":"out","path":"/nix/store/h14vr2fr6r9v9mgg1ay5dzg2xymzxwn5-emacs-proof-general-20230130.1024","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"98f3b08f58ff125ef02d55cd52a83f44f245f2ea","date":"2023-03-28T10:29:13Z","outputs":[{"name":"out","path":"/nix/store/2r3403gfz9vsywisqkzszf5vyhb63rwv-emacs-proof-general-20230130.1024","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"98f3b08f58ff125ef02d55cd52a83f44f245f2ea","date":"2023-03-28T10:29:13Z","outputs":[{"name":"out","path":"/nix/store/cqkyd9lljcsf17k9w5xi4fb5clhhn375-emacs-proof-general-20230130.1024","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20220930.1309","last_updated":"2023-02-14T00:52:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/r3ii69djlg6qnzk1hvji340n3l801jvd-emacs-proof-general-20220930.1309","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/wwrfcv2j2kmffn4hr5hxb9353093jr96-emacs-proof-general-20220930.1309","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"emacsPackages.proof-general","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/h0awkqmpz05ybqybzq7x2gqf75lysskr-emacs-proof-general-20220930.1309","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"emacsPackages.proof-general","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/dxs4mq956lsky4fywa6gsnzb0aid89rm-emacs-proof-general-20220930.1309","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}