{"name":"agda","summary":"A dependently typed functional programming language and proof assistant","description":"","homepage_url":"https://hackage.haskell.org/package/Agda","license":"MIT","attribute_paths":["agda"],"releases":[{"version":"2.8.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"agda","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/rh1pmgbjzyhxxnpp9cdgddh84ip83zcr-agdaWithPackages-2.8.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"agda","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/h2gq9j1qkj21w9hchxzg77l9wlkh4q15-agdaWithPackages-2.8.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"agda","commit_hash":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b","date":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/sjlvri0qkcz3vp001z79bi0fkcwp53z1-agdaWithPackages-2.8.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agda","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/im2882jlj7iqq4g8z1ifsy9jckxqaqsa-agdaWithPackages-2.8.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.7.0.1","last_updated":"2025-08-03T19:18:05Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"agda","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/qf2xzsh4kqzwx1v4sf6iqfzmm4s1lppf-agdaWithPackages-2.7.0.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"agda","commit_hash":"bf9fa86a9b1005d932f842edf2c38eeecc98eef3","date":"2025-08-03T19:18:05Z","outputs":[{"name":"out","path":"/nix/store/mpmbr31zc7yc8s1y3ryingrj25bdn084-agdaWithPackages-2.7.0.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"agda","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/jrfgimn1c8wviz3fwkpna3fpk77i7z3n-agdaWithPackages-2.7.0.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agda","commit_hash":"bf9fa86a9b1005d932f842edf2c38eeecc98eef3","date":"2025-08-03T19:18:05Z","outputs":[{"name":"out","path":"/nix/store/4ksanlkl93z89hnj9w6h9lapy1cnqk33-agdaWithPackages-2.7.0.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.7.0","last_updated":"2024-10-13T23:44:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"agda","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/mj0vgmgzmb4qsd415s6is3hs1ax783jm-agdaWithPackages-2.7.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"agda","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/q5245n4mhx3s3r44h9dgbrc2l05qd2j5-agdaWithPackages-2.7.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"agda","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/ccf6ya68kg3sqv8xnprqqwi69g1m51pz-agdaWithPackages-2.7.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agda","commit_hash":"d4f247e89f6e10120f911e2e2d2254a050d0f732","date":"2024-10-13T23:44:06Z","outputs":[{"name":"out","path":"/nix/store/jq648vr3ixmgqxw88j4xgn5wvgmr7yfy-agdaWithPackages-2.7.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.4.3","last_updated":"2024-08-31T10:12:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"agda","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/lg6wmvz01xmcsc40j796n2v6g99sjxzv-agdaWithPackages-2.6.4.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"agda","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/p59yciwxppnsnr0mjv25qa483hsy5c6b-agdaWithPackages-2.6.4.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"agda","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/rxp26a8sh3n7bpxkm7kd0s6jrka6cvpm-agdaWithPackages-2.6.4.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agda","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/9mwpqmrj9vz0zbqg2qbkcwd252jq25xm-agdaWithPackages-2.6.4.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.4.1","last_updated":"2024-03-23T13:32:18Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"agda","commit_hash":"20bc93ca7b2158ebc99b8cef987a2173a81cde35","date":"2024-03-23T13:32:18Z","outputs":[{"name":"out","path":"/nix/store/2mr8kfhp72p21zgsqgps9fdwq522b6zx-agdaWithPackages-2.6.4.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"agda","commit_hash":"a3ed7406349a9335cb4c2a71369b697cecd9d351","date":"2024-03-22T11:26:23Z","outputs":[{"name":"out","path":"/nix/store/mp8ala11wlrc6g783jdd9hwafkip65in-agdaWithPackages-2.6.4.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"agda","commit_hash":"20bc93ca7b2158ebc99b8cef987a2173a81cde35","date":"2024-03-23T13:32:18Z","outputs":[{"name":"out","path":"/nix/store/yzfay0jf96sp2jidgf0mgp24xwwjvr4k-agdaWithPackages-2.6.4.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agda","commit_hash":"a3ed7406349a9335cb4c2a71369b697cecd9d351","date":"2024-03-22T11:26:23Z","outputs":[{"name":"out","path":"/nix/store/jxfc53j76ilwrkymvkl7x2pzgkycjzzr-agdaWithPackages-2.6.4.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.4","last_updated":"2023-12-13T22:54:10Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"agda","commit_hash":"fd04bea4cbf76f86f244b9e2549fca066db8ddff","date":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/2366hj8dnyz82jifv00raa815ckx8p1i-agdaWithPackages-2.6.4","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"agda","commit_hash":"fd04bea4cbf76f86f244b9e2549fca066db8ddff","date":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/b1b6j3s58p2v42x5yd2sv3av3cxp280i-agdaWithPackages-2.6.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"agda","commit_hash":"fd04bea4cbf76f86f244b9e2549fca066db8ddff","date":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/1xvy98z9isj04mf8np7nr4npsln7y229-agdaWithPackages-2.6.4","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agda","commit_hash":"fd04bea4cbf76f86f244b9e2549fca066db8ddff","date":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/qy7kzbjw6kk6kqrx8581j82mfrn997dl-agdaWithPackages-2.6.4","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.3","last_updated":"2023-10-25T20:49:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"agda","commit_hash":"a2eb207f45e4a14a1e3019d9e3863d1e208e2295","date":"2023-10-06T07:35:11Z","outputs":[{"name":"out","path":"/nix/store/aanwzq6srmcc451rm2dyjdg4c8yqnnym-agdaWithPackages-2.6.3","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"agda","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/r34wk6bqphhzb42mwa5spxlvnvfk2lf2-agdaWithPackages-2.6.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"agda","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/5zav75p6g0q1ccf9m8q1gps2jc85rna9-agdaWithPackages-2.6.3","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agda","commit_hash":"75a52265bda7fd25e06e3a67dee3f0354e73243c","date":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/3ri7jmm7jhbjn0pmwfjas2japj1wxhqi-agdaWithPackages-2.6.3","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.2.2","last_updated":"2023-02-14T00:52:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"agda","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/36zarymcig5wlyy44ml2wy2q8di91afr-agdaWithPackages-2.6.2.2","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"agda","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/5iahqjr31mw75rwsgaf67cn9n4vnmpmy-agdaWithPackages-2.6.2.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"agda","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/x5vnihi5qi3qh8frrvr7jiyw3166zgn1-agdaWithPackages-2.6.2.2","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agda","commit_hash":"0a25e2c87e784bf7e06e7833ec0e06d34836959a","date":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/pqzl4gkrzsfj4k780c5gb1g6pia9nqbn-agdaWithPackages-2.6.2.2","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.2.1","last_updated":"2022-03-21T18:25:50Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"agda","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/i6lf756mz5xcjiw9lzbkgw3jyg2gb06f-agdaWithPackages-2.6.2.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"agda","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/hndff4ys7zkv1rr89qg320cdnd7w4yq5-agdaWithPackages-2.6.2.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"agda","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[{"name":"out","path":"/nix/store/vbj2q0dswpvrlmyz5bjyfas58qv2p2mi-agdaWithPackages-2.6.2.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agda","commit_hash":"4c3c80df545ec5cb26b5480979c3e3f93518cbe5","date":"2022-03-21T18:25:50Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.2","last_updated":"2021-12-06T20:08:19Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"agda","commit_hash":"cdaa4ce25b74ed006b110e2a635eade0e3f18980","date":"2021-12-06T20:08:19Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"agda","commit_hash":"cdaa4ce25b74ed006b110e2a635eade0e3f18980","date":"2021-12-06T20:08:19Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agda","commit_hash":"cdaa4ce25b74ed006b110e2a635eade0e3f18980","date":"2021-12-06T20:08:19Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.1.3","last_updated":"2021-07-05T19:22:21Z","platforms":[{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"agda","commit_hash":"3e0ce8c5d478d06b37a4faa7a4cc8642c6bb97de","date":"2021-07-05T19:22:21Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agda","commit_hash":"3e0ce8c5d478d06b37a4faa7a4cc8642c6bb97de","date":"2021-07-05T19:22:21Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Intel only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.1.2","last_updated":"2021-02-06T17:22:34Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agda","commit_hash":"75156546fc493f3c6b3fe5b05f1091cce98ad7cc","date":"2021-02-06T17:22:34Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.1.1","last_updated":"2020-10-25T07:12:25Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agda","commit_hash":"7ad5e816faba3f808e2a8815b14d0f023a4e2160","date":"2020-10-25T07:12:25Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2.6.1","last_updated":"2020-09-09T10:48:30Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"agda","commit_hash":"51428e8d38271d14146211867984b8742d304ea4","date":"2020-09-09T10:48:30Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}