Index of /stable/debian-6-official-backports/pool/main/c/coq/

../
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb        21-Jan-2020 11:28            54040792
coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb               21-Jan-2020 11:29             5599138
coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb                21-Jan-2020 16:47             4883346
coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb            21-Jan-2020 11:28             5540418
coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb             21-Jan-2020 16:46             5118062
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb  21-Jan-2020 11:28             5886524
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb   21-Jan-2020 16:46             5748012
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb      21-Jan-2020 11:30             2096404
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb       21-Jan-2020 16:46             1852056