Index of /ubuntu/pool/universe/a/agda

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]agda_2.6.3-1build1_all.deb2025-08-01 22:46 3.7K 
[   ]elpa-agda2-mode_2.6.3-1build1_all.deb2025-08-01 22:46 45K 
[   ]libghc-agda-doc_2.6.3-1build1_all.deb2025-08-01 22:46 6.0M 
[   ]agda-bin_2.6.3-1build1_amd64.deb2025-08-01 22:46 10M 
[   ]libghc-agda-dev_2.6.3-1build1_amd64.deb2025-08-01 22:46 24M 

Apache/2.4.58 (Ubuntu) Server at mirror.alexanderwagner.xyz Port 443