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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_8.3.pl3+dfsg-1~bpo60+1.dsc 22052013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz 164752013-Mar-16 17:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 5304862013-Mar-16 17:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_s390.deb 5310362013-Mar-16 17:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_mips.deb 5317322013-Mar-16 17:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_armel.deb 5347342013-Mar-16 17:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 5352822013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_s390.deb 17741242013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 17756582013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_mips.deb 17771042013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 17772102013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_armel.deb 17777542013-Mar-16 17:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb 18520562013-Mar-16 17:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i38..> 18544942013-Mar-16 17:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd..> 20949162013-Mar-16 17:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 20964042013-Mar-16 17:22
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb 21389082013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_s390.deb 24832522013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 24836162013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_armel.deb 24836602013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_mips.deb 24851962013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 24852482013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_armel.deb 25052822013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_s390.deb 25064062013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mipsel.deb 25065742013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_mips.deb 25079122013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_ia64.deb 25115102013-Mar-16 17:22
coq_8.3.pl3+dfsg.orig.tar.gz 31528702013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb 48807222013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb 48833462013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-i386.deb 51163882013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb 51180622013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb 54826782013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb 55391122013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 55404182013-Mar-16 17:22
coqide_8.3.pl3+dfsg-1~bpo60+1_powerpc.deb 55641522013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_kfreebsd-amd64.deb 55926522013-Mar-16 17:22
coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 55991382013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd..> 57097122013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb 57480122013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_kfreebsd..> 58569942013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb 58865242013-Mar-16 17:22
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_powerpc...> 67004262013-Mar-16 17:22
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb 540407922013-Mar-16 17:22
This server can also be reached on the Tor network at
lysator7eknrfl47rlyxvgeamrv7ucefgrrlhk7rouv3sna25asetwid.onion
Information:
Data handling policy
The mirror administration can be reached at ftp-master (at) lysator.liu.se