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

../
coq_8.16.1+dfsg-1+b2_amd64.deb                     17-Jul-2023 13:59            93212572
coq_8.16.1+dfsg-1+b2_arm64.deb                     17-Jul-2023 20:49           102168100
coq_8.16.1+dfsg-1+b2_i386.deb                      17-Jul-2023 17:14            87517396
coqide_8.16.1+dfsg-1+b2_amd64.deb                  17-Jul-2023 18:16             1993412
coqide_8.16.1+dfsg-1+b2_arm64.deb                  17-Jul-2023 14:49             2310756
coqide_8.16.1+dfsg-1+b2_i386.deb                   17-Jul-2023 14:43             1806236
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   17-Jul-2023 12:55            42725424
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb   17-Jul-2023 16:23            42825080
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb    17-Jul-2023 17:15            42449528
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       17-Jul-2023 15:52            22556068
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb       17-Jul-2023 15:54            23093000
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb        17-Jul-2023 19:15            21747176
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           17-Jul-2023 17:15            21526056
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb           17-Jul-2023 21:29            21528036
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb            17-Jul-2023 12:47            21528432