Index of /debian/pool/main/a/agda

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]agda_2.5.1.1.orig.tar.gz2016-10-16 22:43 1.1M 
[   ]agda_2.5.1.1-3.debian.tar.xz2016-10-28 02:24 8.8K 
[   ]agda_2.5.1.1-3.dsc2016-10-28 02:24 4.1K 
[   ]agda-mode_2.5.1.1-3_all.deb2016-10-29 02:56 78K 
[   ]agda_2.5.1.1-3_all.deb2016-10-29 02:56 78K 
[   ]elpa-agda2-mode_2.5.1.1-3_all.deb2016-10-29 02:56 113K 
[   ]libghc-agda-doc_2.5.1.1-3_all.deb2016-10-29 02:56 2.5M 
[   ]agda-bin_2.5.1.1-3+b3_i386.deb2016-11-10 18:00 6.0M 
[   ]libghc-agda-dev_2.5.1.1-3+b3_i386.deb2016-11-10 18:00 14M 
[   ]agda-bin_2.5.1.1-3+b3_amd64.deb2016-11-10 18:40 5.9M 
[   ]libghc-agda-dev_2.5.1.1-3+b3_amd64.deb2016-11-10 18:40 12M 
[   ]agda_2.5.4.1.orig.tar.gz2018-09-30 12:54 1.9M 
[   ]agda_2.5.4.1-3.debian.tar.xz2018-10-20 22:41 9.7K 
[   ]agda_2.5.4.1-3.dsc2018-10-20 22:41 3.8K 
[   ]agda-mode_2.5.4.1-3_all.deb2018-10-20 23:57 115K 
[   ]agda_2.5.4.1-3_all.deb2018-10-20 23:57 115K 
[   ]elpa-agda2-mode_2.5.4.1-3_all.deb2018-10-20 23:57 152K 
[   ]libghc-agda-doc_2.5.4.1-3_all.deb2018-10-20 23:57 3.6M 
[   ]agda-bin_2.5.4.1-3+b1_i386.deb2018-12-04 11:43 5.7M 
[   ]libghc-agda-dev_2.5.4.1-3+b1_i386.deb2018-12-04 11:43 16M 
[   ]agda-bin_2.5.4.1-3+b1_amd64.deb2018-12-04 11:59 5.6M 
[   ]libghc-agda-dev_2.5.4.1-3+b1_amd64.deb2018-12-04 11:59 16M 

Apache/2.4.25 (Debian) Server at osmirror.rug.nl Port 80