Index of /raspbian/pool/main/a/agda

[ICO]NameLast modifiedSizeDescriptionMetadata

[DIR]Parent Directory  -   
[   ]agda-bin_2.5.1.1-3_armhf.deb19-Jun-2017 10:08 6.2M  Details
[   ]agda-mode_2.4.0.2-2_all.deb11-Aug-2014 11:28 86K  Details
[   ]agda-mode_2.5.1.1-3_all.deb29-Oct-2016 00:56 78K  Details
[   ]agda-mode_2.5.4.1-3_all.deb20-Oct-2018 21:57 115K  Details
[   ]agda_2.4.0.2-2.debian.tar.xz11-Aug-2014 11:28 7.2K  Details
[   ]agda_2.4.0.2-2.dsc11-Aug-2014 11:28 3.8K  Details
[   ]agda_2.4.0.2-2_all.deb11-Aug-2014 11:28 55K  Details
[   ]agda_2.4.0.2.orig.tar.gz05-Aug-2014 09:23 889K  Details
[   ]agda_2.5.1.1-3.debian.tar.xz28-Oct-2016 00:24 8.8K  Details
[   ]agda_2.5.1.1-3.dsc28-Oct-2016 00:24 4.1K  Details
[   ]agda_2.5.1.1-3_all.deb29-Oct-2016 00:56 78K  Details
[   ]agda_2.5.1.1.orig.tar.gz16-Oct-2016 20:43 1.1M  Details
[   ]agda_2.5.4.1-3.debian.tar.xz20-Oct-2018 20:41 9.7K  Details
[   ]agda_2.5.4.1-3.dsc20-Oct-2018 20:41 3.8K  Details
[   ]agda_2.5.4.1-3_all.deb20-Oct-2018 21:57 115K  Details
[   ]agda_2.5.4.1.orig.tar.gz30-Sep-2018 10:54 1.9M  Details
[   ]elpa-agda2-mode_2.5.1.1-3_all.deb29-Oct-2016 00:56 113K  Details
[   ]elpa-agda2-mode_2.5.4.1-3_all.deb20-Oct-2018 21:57 152K  Details
[   ]libghc-agda-dev_2.5.1.1-3_armhf.deb19-Jun-2017 10:08 14M  Details
[   ]libghc-agda-doc_2.4.0.2-2_all.deb11-Aug-2014 11:28 1.9M  Details
[   ]libghc-agda-doc_2.5.1.1-3_all.deb29-Oct-2016 00:56 2.5M  Details
[   ]libghc-agda-doc_2.5.4.1-3_all.deb20-Oct-2018 21:57 3.6M  Details

Apache/2.4.25 (Debian) Server at mirrordirector.raspbian.org Port 80

MirrorBrain powered by Apache