Index of /debian-ports/pool-sparc64/main/a/agda

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]agda-bin_2.6.4.3-1_sparc64.deb2024-10-19 02:03 12M 
[   ]agda-bin_2.8.0-1_sparc64.deb2026-02-15 14:03 15M 
[   ]agda-bin_2.8.0-2+b1_sparc64.deb2026-02-28 20:03 15M 
[   ]agda-bin_2.8.0-2_sparc64.deb2026-02-16 08:03 15M 
[   ]agda_2.6.4.3-1_sparc64.buildinfo2024-10-19 02:03 15K 
[   ]agda_2.8.0-1_sparc64.buildinfo2026-02-15 14:03 16K 
[   ]agda_2.8.0-2+b1_sparc64.buildinfo2026-02-28 20:03 16K 
[   ]agda_2.8.0-2_sparc64.buildinfo2026-02-16 08:03 16K 
[   ]libghc-agda-dev_2.6.4.3-1_sparc64.deb2024-10-19 02:03 36M 
[   ]libghc-agda-dev_2.8.0-1_sparc64.deb2026-02-15 14:03 56M 
[   ]libghc-agda-dev_2.8.0-2+b1_sparc64.deb2026-02-28 20:03 56M 
[   ]libghc-agda-dev_2.8.0-2_sparc64.deb2026-02-16 08:03 56M