Index of /testing/debian-11-official-release/pool/main/c/coq/

../
coq-theories_8.12.0-3+b3_amd64.deb                 15-Jan-2021 08:41            36501836
coq-theories_8.12.0-3+b3_i386.deb                  15-Jan-2021 09:15            35237680
coq_8.12.0-3+b3_amd64.deb                          15-Jan-2021 08:37            90453192
coq_8.12.0-3+b3_i386.deb                           15-Jan-2021 08:38            87886220
coqide_8.12.0-3+b3_amd64.deb                       15-Jan-2021 08:40             1879212
coqide_8.12.0-3+b3_i386.deb                        15-Jan-2021 08:44             1723020
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb             15-Jan-2021 09:19            18727404
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb              15-Jan-2021 08:40            18658564
libcoq-ocaml_8.12.0-3+b3_amd64.deb                 15-Jan-2021 08:39             7758156
libcoq-ocaml_8.12.0-3+b3_i386.deb                  15-Jan-2021 08:53             7575772