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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]agda-mode_2.6.0.1-1build4_all.deb2020-02-08 08:19 3.6K 
[   ]agda_2.6.0.1-1build4_all.deb2020-02-08 08:19 4.0K 
[   ]agda_2.6.0.1-1build4.dsc2020-02-08 06:38 4.2K 
[   ]agda_2.6.0.1-1build4.debian.tar.xz2020-02-08 06:38 10K 
[   ]elpa-agda2-mode_2.6.0.1-1build4_all.deb2020-02-08 08:19 40K 
[   ]agda_2.6.0.1.orig.tar.gz2019-09-01 08:43 2.3M 
[   ]libghc-agda-doc_2.6.0.1-1build4_all.deb2020-02-08 08:19 4.0M 
[   ]agda-bin_2.6.0.1-1build4_amd64.deb2020-02-08 08:19 6.3M 
[   ]libghc-agda-dev_2.6.0.1-1build4_amd64.deb2020-02-08 08:19 19M