[To Parent Directory]
7/13/2024 4:40 AM 23919584 coq-theories_8.12.0-3+b3_ia64.deb
7/13/2024 4:40 AM 105860172 coq_8.12.0-3+b3_ia64.deb
7/13/2024 4:40 AM 46740 coqide_8.12.0-3+b3_ia64.deb
7/13/2024 4:40 AM 43200 libcoq-ocaml-dbgsym_8.12.0-3+b3_ia64.deb
7/13/2024 4:40 AM 11279932 libcoq-ocaml-dev_8.12.0-3+b3_ia64.deb
7/13/2024 4:40 AM 5465596 libcoq-ocaml_8.12.0-3+b3_ia64.deb