Index of /debian-backports/pool/main/c/coq
Name
Last modified
Size
Parent Directory
-
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
16-Mar-2013 18:22
523K
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb
16-Mar-2013 18:22
1.8M
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
16-Mar-2013 18:22
2.0M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
16-Mar-2013 18:22
2.4M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb
16-Mar-2013 18:22
5.5M
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
16-Mar-2013 18:22
5.6M
coq_8.3.pl3+dfsg.orig.tar.gz
16-Mar-2013 18:22
3.0M
coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
16-Mar-2013 18:22
1.7M
coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb
16-Mar-2013 18:22
4.7M
coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
16-Mar-2013 18:22
5.3M
coq_8.3.pl3+dfsg-1~bpo60+1.dsc
16-Mar-2013 18:22
2.2K
coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz
16-Mar-2013 18:22
16K
coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb
16-Mar-2013 18:22
2.4M
coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb
16-Mar-2013 18:22
4.9M
coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
16-Mar-2013 18:22
5.3M
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb
16-Mar-2013 18:22
52M
![[ICO]](/icons/blank.png){kind=icon}
![[DIR]](/icons/arrow_up.png){kind=icon}
![[ ]](/icons/debian.png){kind=icon}
![[ ]](/icons/page_white_compressed.png){kind=icon}
![[ ]](/icons/page.png){kind=icon}