Name Last modified Size Description
Parent Directory -
agda-2.6.4.3 26-Mar-2026 10:28 5.9K
agda-2.8.0 26-Mar-2026 10:28 7.3K
agda-stdlib-2.6.4.3.2.0 26-Mar-2026 10:28 873
agda-stdlib-2.8.0.2.3 26-Mar-2026 10:28 1.0K
spline3-1.0.2 26-Mar-2026 10:28 1.3K