Index of /parrot/pool/main/c/coq/

Welcome to OUR Host Linux mirror, hosted at ourhost.az, Azerbaijan Republic.
Hostname is mirror.ourhost.az
Contacts: support@ourhost.az
We support HTTP, FTP and rsync protocols.

../
coq_8.16.1+dfsg-1+b2_amd64.deb                     02-Aug-2025 05:23            93212572
coq_8.16.1+dfsg-1+b2_arm64.deb                     02-Aug-2025 05:23           102168100
coq_8.16.1+dfsg-1+b2_armhf.deb                     02-Aug-2025 05:23            89867592
coq_8.16.1+dfsg-1+b2_i386.deb                      02-Aug-2025 05:23            87517396
coq_8.16.1+dfsg-1.debian.tar.xz                    02-Aug-2025 05:23               33236
coq_8.16.1+dfsg-1.dsc                              02-Aug-2025 05:23                2629
coq_8.16.1+dfsg.orig.tar.xz                        02-Aug-2025 05:23             4717668
coqide_8.16.1+dfsg-1+b2_amd64.deb                  02-Aug-2025 05:23             1993412
coqide_8.16.1+dfsg-1+b2_arm64.deb                  02-Aug-2025 05:23             2310756
coqide_8.16.1+dfsg-1+b2_armhf.deb                  02-Aug-2025 05:23             1834728
coqide_8.16.1+dfsg-1+b2_i386.deb                   02-Aug-2025 05:23             1806236
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb   02-Aug-2025 05:23            42725424
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb   02-Aug-2025 05:23            42825080
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb   02-Aug-2025 05:23            43114464
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb    02-Aug-2025 05:23            42449528
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb       02-Aug-2025 05:23            22556068
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb       02-Aug-2025 05:23            23093000
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb       02-Aug-2025 05:23            22259280
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb        02-Aug-2025 05:23            21747176
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb           02-Aug-2025 05:23            21526056
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb           02-Aug-2025 05:23            21528036
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb           02-Aug-2025 05:23            21527688
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb            02-Aug-2025 05:23            21528432