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


../
coq-theories_8.2.pl2+dfsg-1_all.deb                21-Jan-2020 11:39            18387420
coq_8.2.pl2+dfsg-1_amd64.deb                       21-Jan-2020 11:45            15354950
coq_8.2.pl2+dfsg-1_i386.deb                        21-Jan-2020 16:49            13715098
coqide_8.2.pl2+dfsg-1_amd64.deb                    21-Jan-2020 11:43             6553352
coqide_8.2.pl2+dfsg-1_i386.deb                     21-Jan-2020 16:55             6026786
libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb          21-Jan-2020 11:39             6085774
libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb           21-Jan-2020 16:49             5933320