Index of /debian/pool/main/c/coq/

../
coq-theories_8.2.pl2+dfsg-1_all.deb                26-Apr-2023 10:46     18M
coq-theories_8.6-4_i386.deb                        26-Apr-2023 14:06     29M
coq_8.2.pl2+dfsg-1.debian.tar.gz                   26-Apr-2023 10:46     16K
coq_8.2.pl2+dfsg-1.dsc                             26-Apr-2023 10:46    2157
coq_8.2.pl2+dfsg-1_i386.deb                        26-Apr-2023 10:46     13M
coq_8.2.pl2+dfsg.orig.tar.gz                       26-Apr-2023 10:46      3M
coq_8.6-4.debian.tar.xz                            26-Apr-2023 14:06     21K
coq_8.6-4.dsc                                      26-Apr-2023 14:06    2396
coq_8.6-4_i386.deb                                 26-Apr-2023 14:06     13M
coq_8.6.orig.tar.gz                                26-Apr-2023 14:06      5M
coqide_8.2.pl2+dfsg-1_i386.deb                     26-Apr-2023 10:46      6M
coqide_8.6-4_i386.deb                              26-Apr-2023 14:06      1M
libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb           26-Apr-2023 10:46      6M
libcoq-ocaml-dev_8.6-4_i386.deb                    26-Apr-2023 14:06     13M
libcoq-ocaml_8.6-4_i386.deb                        26-Apr-2023 14:06      3M