| .. |
|
|
|
agda-bin_2.2.6-1+b1_amd64.deb
|
2010-01-26 09:32:26 |
2.72 MiB
|
|
agda-bin_2.2.6-1+b1_i386.deb
|
2010-01-26 09:32:43 |
2.56 MiB
|
|
agda-bin_2.2.6-1+b1_kfreebsd-i386.deb
|
2010-01-26 15:47:47 |
2.55 MiB
|
|
agda-bin_2.2.6-1+b1_mips.deb
|
2010-03-14 15:32:21 |
5.63 MiB
|
|
agda-bin_2.2.6-1+b1_powerpc.deb
|
2010-01-29 11:02:03 |
2.86 MiB
|
|
agda-bin_2.2.6-1+b1_s390.deb
|
2010-01-28 09:32:08 |
6.60 MiB
|
|
agda-bin_2.2.6-1+b1_sparc.deb
|
2010-02-04 11:02:03 |
4.23 MiB
|
|
agda-bin_2.2.6-1.diff.gz
|
2010-01-11 17:47:03 |
2.39 KiB
|
|
agda-bin_2.2.6-1.dsc
|
2010-01-11 17:47:03 |
1.30 KiB
|
|
agda-bin_2.2.6-1_armel.deb
|
2010-03-18 21:33:11 |
5.39 MiB
|
|
agda-bin_2.2.6-1_kfreebsd-amd64.deb
|
2010-02-27 05:32:13 |
2.76 MiB
|
|
agda-bin_2.2.6-1_mipsel.deb
|
2010-03-16 01:17:03 |
5.49 MiB
|
|
agda-bin_2.2.6.orig.tar.gz
|
2010-01-11 17:47:03 |
1.64 KiB
|
|
agda-bin_2.3.0.1-1.diff.gz
|
2012-03-12 13:47:08 |
2.94 KiB
|
|
agda-bin_2.3.0.1-1.dsc
|
2012-03-12 13:47:08 |
1.34 KiB
|
|
agda-bin_2.3.0.1-1_amd64.deb
|
2012-03-12 13:47:08 |
4.68 MiB
|
|
agda-bin_2.3.0.1-1_armel.deb
|
2012-03-25 22:47:23 |
6.91 MiB
|
|
agda-bin_2.3.0.1-1_armhf.deb
|
2012-03-27 04:47:07 |
6.87 MiB
|
|
agda-bin_2.3.0.1-1_i386.deb
|
2012-03-12 23:17:07 |
4.37 MiB
|
|
agda-bin_2.3.0.1-1_kfreebsd-amd64.deb
|
2012-03-13 01:17:07 |
5.47 MiB
|
|
agda-bin_2.3.0.1-1_kfreebsd-i386.deb
|
2012-03-13 06:32:09 |
5.11 MiB
|
|
agda-bin_2.3.0.1-1_powerpc.deb
|
2012-04-21 10:02:09 |
4.60 MiB
|
|
agda-bin_2.3.0.1-1_s390x.deb
|
2012-03-13 01:47:08 |
14.67 MiB
|
|
agda-bin_2.3.0.1-1_sparc.deb
|
2012-03-26 09:32:12 |
6.79 MiB
|
|
agda-bin_2.3.0.1.orig.tar.gz
|
2012-03-12 13:47:08 |
1.72 KiB
|