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            11119148
coq_8.18.0+dfsg-1+b1_hurd-i386.buildinfo           14-Mar-2024 06:03               16609
coq_8.18.0+dfsg-1+b1_hurd-i386.deb                 14-Mar-2024 06:03            77158052
coqide-dbgsym_8.18.0+dfsg-1+b1_hurd-i386.deb       14-Mar-2024 06:03              710140
coqide_8.18.0+dfsg-1+b1_hurd-i386.deb              14-Mar-2024 06:03             1815764
libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1+b1_hurd-..> 14-Mar-2024 06:03             2219200
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_hurd-i38..> 14-Mar-2024 06:03            44141092
libcoq-core-ocaml_8.18.0+dfsg-1+b1_hurd-i386.deb   14-Mar-2024 06:03            22399096
libcoq-stdlib_8.18.0+dfsg-1+b1_hurd-i386.deb       14-Mar-2024 06:03            23237284