Index of /debian-ports/pool-hurd-i386/main/c/coq/


../
coq-dbgsym_8.18.0+dfsg-1+b1_hurd-i386.deb                                                                                14-Mar-2024 06:03     11M
coq_8.18.0+dfsg-1+b1_hurd-i386.buildinfo                                                                                 14-Mar-2024 06:03     16K
coq_8.18.0+dfsg-1+b1_hurd-i386.deb                                                                                       14-Mar-2024 06:03     74M
coqide-dbgsym_8.18.0+dfsg-1+b1_hurd-i386.deb                                                                             14-Mar-2024 06:03    693K
coqide_8.18.0+dfsg-1+b1_hurd-i386.deb                                                                                    14-Mar-2024 06:03      2M
libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1+b1_hurd-i386.deb                                                                  14-Mar-2024 06:03      2M
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_hurd-i386.deb                                                                     14-Mar-2024 06:03     42M
libcoq-core-ocaml_8.18.0+dfsg-1+b1_hurd-i386.deb                                                                         14-Mar-2024 06:03     21M
libcoq-stdlib_8.18.0+dfsg-1+b1_hurd-i386.deb                                                                             14-Mar-2024 06:03     22M