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

../
coq-theories_8.6-4_amd64.deb                       24-Sep-2019 10:41            31441296
coq-theories_8.6-4_i386.deb                        22-Jan-2020 00:11            30400702
coq_8.6-4_amd64.deb                                24-Sep-2019 10:49            13953402
coq_8.6-4_i386.deb                                 22-Jan-2020 00:16            13593774
coqide_8.6-4_amd64.deb                             24-Sep-2019 10:32             1406016
coqide_8.6-4_i386.deb                              22-Jan-2020 00:11             1313916
libcoq-ocaml-dev_8.6-4_amd64.deb                   24-Sep-2019 10:53            13289600
libcoq-ocaml-dev_8.6-4_i386.deb                    22-Jan-2020 00:10            13323506
libcoq-ocaml_8.6-4_amd64.deb                       24-Sep-2019 10:58             3502166
libcoq-ocaml_8.6-4_i386.deb                        22-Jan-2020 00:23             3401658