| .. |
|
|
|
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb
|
2013-03-16 17:22:12 |
51.54 MiB
|
|
coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz
|
2013-03-16 17:22:12 |
16.09 KiB
|
|
coq_8.3.pl3+dfsg-1~bpo60+1.dsc
|
2013-03-16 17:22:12 |
2.15 KiB
|
|
coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
|
2013-03-16 17:22:12 |
5.34 MiB
|
|
coq_8.3.pl3+dfsg-1~bpo60+1_armel.deb
|
2013-03-16 17:22:12 |
1.70 MiB
|
|
coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb
|
2013-03-16 17:22:13 |
4.66 MiB
|
|
coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
|
2013-03-16 17:22:13 |
1.69 MiB
|
|
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb
|
2013-03-16 17:22:13 |
5.33 MiB
|
|
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb
|
2013-03-16 17:22:13 |
4.65 MiB
|
|
coq_8.3.pl3+dfsg-1~bpo60+1_mips.deb
|
2013-03-16 17:22:13 |
1.69 MiB
|
|
coq_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb
|
2013-03-16 17:22:13 |
1.69 MiB
|
|
coq_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb
|
2013-03-16 17:22:13 |
5.23 MiB
|
|
coq_8.3.pl3+dfsg-1~bpo60+1_s390.deb
|
2013-03-16 17:22:13 |
1.69 MiB
|
|
coq_8.3.pl3+dfsg.orig.tar.gz
|
2013-03-16 17:22:13 |
3.01 MiB
|
|
coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
|
2013-03-16 17:22:13 |
5.28 MiB
|
|
coqide_8.3.pl3+dfsg-1~bpo60+1_armel.deb
|
2013-03-16 17:22:13 |
2.37 MiB
|
|
coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb
|
2013-03-16 17:22:14 |
4.88 MiB
|
|
coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
|
2013-03-16 17:22:14 |
2.37 MiB
|
|
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb
|
2013-03-16 17:22:14 |
5.28 MiB
|
|
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb
|
2013-03-16 17:22:14 |
4.88 MiB
|
|
coqide_8.3.pl3+dfsg-1~bpo60+1_mips.deb
|
2013-03-16 17:22:14 |
2.37 MiB
|
|
coqide_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb
|
2013-03-16 17:22:14 |
2.37 MiB
|
|
coqide_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb
|
2013-03-16 17:22:15 |
5.31 MiB
|
|
coqide_8.3.pl3+dfsg-1~bpo60+1_s390.deb
|
2013-03-16 17:22:15 |
2.37 MiB
|
|
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
|
2013-03-16 17:22:15 |
5.61 MiB
|
|
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_armel.deb
|
2013-03-16 17:22:15 |
2.39 MiB
|
|
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb
|
2013-03-16 17:22:15 |
5.48 MiB
|
|
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
|
2013-03-16 17:22:15 |
2.40 MiB
|
|
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb
|
2013-03-16 17:22:16 |
5.59 MiB
|
|
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb
|
2013-03-16 17:22:16 |
5.45 MiB
|
|
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mips.deb
|
2013-03-16 17:22:16 |
2.39 MiB
|
|
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb
|
2013-03-16 17:22:16 |
2.39 MiB
|
|
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb
|
2013-03-16 17:22:16 |
6.39 MiB
|
|
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_s390.deb
|
2013-03-16 17:22:17 |
2.39 MiB
|
|
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
|
2013-03-16 17:22:17 |
2.00 MiB
|
|
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_armel.deb
|
2013-03-16 17:22:17 |
522.20 KiB
|
|
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb
|
2013-03-16 17:22:17 |
1.77 MiB
|
|
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
|
2013-03-16 17:22:17 |
522.74 KiB
|
|
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb
|
2013-03-16 17:22:17 |
2.00 MiB
|
|
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb
|
2013-03-16 17:22:17 |
1.77 MiB
|
|
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mips.deb
|
2013-03-16 17:22:17 |
519.27 KiB
|
|
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb
|
2013-03-16 17:22:17 |
518.05 KiB
|
|
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb
|
2013-03-16 17:22:17 |
2.04 MiB
|
|
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb
|
2013-03-16 17:22:17 |
518.59 KiB
|