Index of /pardus/pool/main/c/coq/

../
coq_8.16.1+dfsg-1+b2_amd64.deb                     31-Jul-2024 11:53            93212572
coq_8.16.1+dfsg-1+b2_arm64.deb                     31-Jul-2024 12:13           102168100
coq_8.16.1+dfsg-1+b2_i386.deb                      31-Jul-2024 12:27            87517396
coq_8.16.1+dfsg-1.debian.tar.xz                    31-Jul-2024 11:59               33236
coq_8.16.1+dfsg-1.dsc                              31-Jul-2024 11:59                2629
coq_8.16.1+dfsg.orig.tar.xz                        31-Jul-2024 11:59             4717668
coqide_8.16.1+dfsg-1+b2_amd64.deb                  31-Jul-2024 12:18             1993412
coqide_8.16.1+dfsg-1+b2_arm64.deb                  31-Jul-2024 12:07             2310756
coqide_8.16.1+dfsg-1+b2_i386.deb                   31-Jul-2024 11:55             1806236
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   31-Jul-2024 12:34            42725424
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb   31-Jul-2024 12:10            42825080
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb    31-Jul-2024 12:05            42449528
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       31-Jul-2024 12:24            22556068
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb       31-Jul-2024 12:09            23093000
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb        31-Jul-2024 11:58            21747176
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           31-Jul-2024 12:23            21526056
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb           31-Jul-2024 11:53            21528036
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb            31-Jul-2024 12:21            21528432