Index of /old-ubuntu/pool/universe/c/coq/

../
coq-theories_8.3.pl4+dfsg-1_all.deb                                                                                      25-Sep-2023 17:59     52M
coq_8.3.pl4+dfsg-1_amd64.deb                                                                                             25-Sep-2023 17:59      5M
coq_8.3.pl4+dfsg-1_i386.deb                                                                                              25-Sep-2023 17:59      5M
coqide_8.3.pl4+dfsg-1_amd64.deb                                                                                          25-Sep-2023 17:59      5M
coqide_8.3.pl4+dfsg-1_i386.deb                                                                                           25-Sep-2023 17:59      5M
libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb                                                                                25-Sep-2023 17:59      6M
libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb                                                                                 25-Sep-2023 17:59      5M
libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb                                                                                    25-Sep-2023 17:59      2M
libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb                                                                                     25-Sep-2023 17:59      2M