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


../
coq-dbgsym_8.11.1~pre1-1_hurd-i386.deb             17-Apr-2020 00:03             6842072
coq-dbgsym_8.9.1-5+b1_hurd-i386.deb                11-Feb-2020 18:03             5547692
coq-theories_8.11.1~pre1-1_hurd-i386.deb           17-Apr-2020 00:03            21412952
coq-theories_8.9.1-5+b1_hurd-i386.deb              11-Feb-2020 18:03            20347004
coq_8.11.1~pre1-1_hurd-i386.buildinfo              17-Apr-2020 00:03               15015
coq_8.11.1~pre1-1_hurd-i386.deb                    17-Apr-2020 00:03            72082256
coq_8.9.1-5+b1_hurd-i386.buildinfo                 11-Feb-2020 18:03               15103
coq_8.9.1-5+b1_hurd-i386.deb                       11-Feb-2020 18:03            66449244
coqide-dbgsym_8.11.1~pre1-1_hurd-i386.deb          17-Apr-2020 00:03              499072
coqide-dbgsym_8.9.1-5+b1_hurd-i386.deb             11-Feb-2020 18:03              485664
coqide_8.11.1~pre1-1_hurd-i386.deb                 17-Apr-2020 00:03             1530916
coqide_8.9.1-5+b1_hurd-i386.deb                    11-Feb-2020 18:03             1682376
libcoq-ocaml-dbgsym_8.11.1~pre1-1_hurd-i386.deb    17-Apr-2020 00:03              645712
libcoq-ocaml-dbgsym_8.9.1-5+b1_hurd-i386.deb       11-Feb-2020 18:03              556980
libcoq-ocaml-dev_8.11.1~pre1-1_hurd-i386.deb       17-Apr-2020 00:03            16039180
libcoq-ocaml-dev_8.9.1-5+b1_hurd-i386.deb          11-Feb-2020 18:03            15058576
libcoq-ocaml_8.11.1~pre1-1_hurd-i386.deb           17-Apr-2020 00:03             6051528
libcoq-ocaml_8.9.1-5+b1_hurd-i386.deb              11-Feb-2020 18:03             5401380