Index of /QNE/X86/ubuntu-stable/pool/universe/a/agda

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]agda-mode_2.5.3-3build1_all.deb2021-01-20 01:57 3.5K 
[   ]agda_2.5.3-3build1_all.deb2021-01-20 01:57 3.0K 
[   ]elpa-agda2-mode_2.5.3-3build1_all.deb2021-01-20 01:57 40K 
[   ]agda-bin_2.5.3-3build1_amd64.deb2021-01-20 01:57 5.5M 
[   ]libghc-agda-doc_2.5.3-3build1_all.deb2021-01-20 01:58 2.6M 
[   ]libghc-agda-dev_2.5.3-3build1_amd64.deb2021-01-20 01:58 15M 

Apache Server at eu1.qnap.com Port 443