Index of /loongson/pool/main/c/coq/

../
coq-theories_8.5-2_mipsel.deb                      29-Jan-2016 15:33     23M
coq_8.5-2.debian.tar.xz                            29-Jan-2016 00:58     16K
coq_8.5-2.dsc                                      29-Jan-2016 00:58    2396
coq_8.5-2_mipsel.deb                               29-Jan-2016 15:33     17M
coq_8.5.orig.tar.gz                                27-Jan-2016 00:43      5M
coqide_8.5-2_mipsel.deb                            29-Jan-2016 15:33      2M
libcoq-ocaml-dev_8.5-2_mipsel.deb                  29-Jan-2016 15:33     10M
libcoq-ocaml_8.5-2_mipsel.deb                      29-Jan-2016 15:33      2M