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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]agda-bin_2.4.0.2-2+b..>2014-09-07 22:57 3.7M 
[ ]agda-bin_2.4.0.2-2+b..>2014-09-08 12:27 3.6M 
[ ]agda-bin_2.4.0.2-2+b..>2014-09-08 12:27 4.3M 
[ ]agda-bin_2.4.0.2-2+b..>2014-09-08 12:17 4.1M 
[ ]agda-bin_2.4.0.2-2+b..>2014-09-08 12:42 3.4M 
[ ]agda-bin_2.5.1.1-3+b..>2016-11-10 21:10 5.9M 
[ ]agda-bin_2.5.1.1-3+b..>2016-11-10 21:40 11M 
[ ]agda-bin_2.5.1.1-3+b..>2016-11-10 20:30 6.0M 
[ ]agda-bin_2.5.1.1-3+b..>2016-11-10 22:00 21M 
[ ]agda-bin_2.5.1.1-3_m..>2016-11-20 03:58 9.5M 
[ ]agda-mode_2.2.6-7_al..>2010-05-06 08:32 39K 
[ ]agda-mode_2.3.0.1-2_..>2012-05-27 02:02 45K 
[ ]agda-mode_2.4.0.2-2_..>2014-08-11 15:58 86K 
[ ]agda-mode_2.5.1.1-3_..>2016-10-29 04:26 78K 
[ ]agda_2.2.6-7.debian...>2010-05-06 08:32 5.2K 
[TXT]agda_2.2.6-7.dsc 2010-05-06 08:32 2.2K 
[ ]agda_2.2.6.orig.tar.gz 2010-01-07 23:17 414K 
[ ]agda_2.3.0.1-2.debia..>2012-05-27 02:02 6.7K 
[TXT]agda_2.3.0.1-2.dsc 2012-05-27 02:02 2.3K 
[ ]agda_2.3.0.1-2_all.deb 2012-05-27 02:02 13K 
[ ]agda_2.3.0.1.orig.ta..>2012-03-12 17:02 598K 
[ ]agda_2.4.0.2-2.debia..>2014-08-11 15:58 7.2K 
[TXT]agda_2.4.0.2-2.dsc 2014-08-11 15:58 3.8K 
[ ]agda_2.4.0.2-2_all.deb 2014-08-11 15:58 55K 
[ ]agda_2.4.0.2.orig.ta..>2014-08-05 13:53 889K 
[ ]agda_2.5.1.1-3.debia..>2016-10-28 03:54 8.8K 
[TXT]agda_2.5.1.1-3.dsc 2016-10-28 03:54 4.1K 
[ ]agda_2.5.1.1-3_all.deb 2016-10-29 04:26 78K 
[ ]agda_2.5.1.1.orig.ta..>2016-10-17 00:13 1.1M 
[ ]elpa-agda2-mode_2.5...>2016-10-29 04:26 113K 
[ ]libghc-agda-dev_2.3...>2012-05-28 03:32 12M 
[ ]libghc-agda-dev_2.3...>2012-05-28 02:03 17M 
[ ]libghc-agda-dev_2.3...>2012-05-27 12:02 18M 
[ ]libghc-agda-dev_2.3...>2012-05-27 03:02 12M 
[ ]libghc-agda-dev_2.3...>2012-05-27 09:47 12M 
[ ]libghc-agda-dev_2.3...>2012-05-27 10:02 12M 
[ ]libghc-agda-dev_2.3...>2012-05-27 04:17 16M 
[ ]libghc-agda-dev_2.3...>2012-05-27 12:02 23M 
[ ]libghc-agda-dev_2.3...>2012-06-02 19:47 24M 
[ ]libghc-agda-dev_2.4...>2014-09-07 22:57 9.3M 
[ ]libghc-agda-dev_2.4...>2014-09-08 12:27 9.2M 
[ ]libghc-agda-dev_2.4...>2014-09-08 12:27 9.3M 
[ ]libghc-agda-dev_2.4...>2014-09-08 12:17 9.2M 
[ ]libghc-agda-dev_2.4...>2014-09-08 12:42 9.2M 
[ ]libghc-agda-dev_2.5...>2016-11-10 21:10 12M 
[ ]libghc-agda-dev_2.5...>2016-11-10 21:40 19M 
[ ]libghc-agda-dev_2.5...>2016-11-10 20:30 14M 
[ ]libghc-agda-dev_2.5...>2016-11-10 22:00 25M 
[ ]libghc-agda-dev_2.5...>2016-11-20 03:58 18M 
[ ]libghc-agda-doc_2.3...>2012-05-27 02:02 1.7M 
[ ]libghc-agda-doc_2.4...>2014-08-11 15:58 1.9M 
[ ]libghc-agda-doc_2.5...>2016-10-29 04:26 2.5M 
[ ]libghc6-agda-dev_2.2..>2010-05-06 08:32 9.6M 
[ ]libghc6-agda-dev_2.2..>2010-05-07 02:17 16M 
[ ]libghc6-agda-dev_2.2..>2010-05-06 11:47 9.1M 
[ ]libghc6-agda-dev_2.2..>2010-05-06 11:02 9.6M 
[ ]libghc6-agda-dev_2.2..>2010-05-06 11:02 9.1M 
[ ]libghc6-agda-dev_2.2..>2010-05-07 00:17 18M 
[ ]libghc6-agda-dev_2.2..>2010-05-07 02:17 17M 
[ ]libghc6-agda-dev_2.2..>2010-05-06 11:47 13M 
[ ]libghc6-agda-dev_2.2..>2010-05-06 16:20 16M 
[ ]libghc6-agda-dev_2.2..>2010-05-13 03:17 17M 
[ ]libghc6-agda-doc_2.2..>2010-05-06 08:32 1.0M