Index of /debian-backports/pool/main/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb2.0 MiB2013-Mar-16 18:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb5.6 MiB2013-Mar-16 18:22
coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb5.3 MiB2013-Mar-16 18:22
coq_8.3.pl3+dfsg.orig.tar.gz3.0 MiB2013-Mar-16 18:22
coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb5.3 MiB2013-Mar-16 18:22
coq_8.3.pl3+dfsg-1~bpo60+1.dsc2.2 KiB2013-Mar-16 18:22
coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz16.1 KiB2013-Mar-16 18:22
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb51.5 MiB2013-Mar-16 18:22