Project agda
Known since 2026-08-20, see on repology.
2.8.0
- Fetched
- 2026-08-21
- Package
- haskellPackages.Agda
- Size
- 677641
- Lines
- 8975
- Fetched
- 2026-08-21
- Package
- haskellPackages.Agda
- Size
- 668006
- Lines
- 8872
- Fetched
- 2026-08-21
- Package
- haskellPackages.Agda
- Size
- 668008
- Lines
- 8871
- Date
- 2026-08-18
- Fetched
- 2026-08-20
- Package
- hs-Agda (math/hs-Agda)
- Size
- 560550
- Lines
- 3716
- Date
- 2026-08-17
- Fetched
- 2026-08-20
- Package
- hs-Agda (math/hs-Agda)
- Size
- 562920
- Lines
- 3716
- Date
- 2026-07-15
- Fetched
- 2026-08-20
- Package
- Agda
- Size
- 1189316
- Lines
- 24370
- Date
- 2026-07-15
- Fetched
- 2026-08-20
- Package
- Agda
- Size
- 1190771
- Lines
- 24370
- Date
- 2026-07-15
- Fetched
- 2026-08-20
- Package
- Agda
- Size
- 1240836
- Lines
- 25142
- Date
- 2026-07-15
- Fetched
- 2026-08-20
- Package
- Agda
- Size
- 1242509
- Lines
- 25142