Index of /aptly/pool/main/c/coq/

../
coq-theories_8.6-5build1_amd64.deb                 24-Apr-2024 18:02            33181580
coq-theories_8.6-5build1_i386.deb                  24-Apr-2024 19:08            32170552
coq_8.6-5build1_amd64.deb                          24-Apr-2024 19:59            17673808
coq_8.6-5build1_i386.deb                           24-Apr-2024 17:16            16948548
coqide_8.6-5build1_amd64.deb                       24-Apr-2024 18:55             1544828
coqide_8.6-5build1_i386.deb                        24-Apr-2024 18:15             1388920
libcoq-ocaml-dev_8.6-5build1_amd64.deb             24-Apr-2024 18:37            13815188
libcoq-ocaml-dev_8.6-5build1_i386.deb              24-Apr-2024 19:43            13796020
libcoq-ocaml_8.6-5build1_amd64.deb                 24-Apr-2024 19:21             3564612
libcoq-ocaml_8.6-5build1_i386.deb                  24-Apr-2024 18:26             3394144