Index of /debian-ports/pool-ia64/main/c/coq/

../
coq-theories_8.12.0-3+b3_ia64.deb                  25-Nov-2020 12:03            23919584
coq_8.12.0-3+b3_ia64.buildinfo                     25-Nov-2020 12:03               15936
coq_8.12.0-3+b3_ia64.deb                           25-Nov-2020 12:03           105860172
coqide_8.12.0-3+b3_ia64.deb                        25-Nov-2020 12:03               46740
libcoq-ocaml-dbgsym_8.12.0-3+b3_ia64.deb           25-Nov-2020 12:03               43200
libcoq-ocaml-dev_8.12.0-3+b3_ia64.deb              25-Nov-2020 12:03            11279932
libcoq-ocaml_8.12.0-3+b3_ia64.deb                  25-Nov-2020 12:03             5465596