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

 Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 libcoq-ocaml_8.9.1-5+b1_ia64.deb           12-Feb-2020 01:03  3.6M  
 libcoq-ocaml_8.11.1~pre1-1_ia64.deb        24-Apr-2020 14:03  4.1M  
 libcoq-ocaml-dev_8.9.1-5+b1_ia64.deb       12-Feb-2020 01:03  8.5M  
 libcoq-ocaml-dev_8.11.1~pre1-1_ia64.deb    24-Apr-2020 14:03  8.9M  
 libcoq-ocaml-dbgsym_8.9.1-5+b1_ia64.deb    12-Feb-2020 01:03   34K  
 libcoq-ocaml-dbgsym_8.11.1~pre1-1_ia64.deb 24-Apr-2020 14:03   37K  
 coqide_8.9.1-5+b1_ia64.deb                 12-Feb-2020 01:03   99K  
 coqide_8.11.1~pre1-1_ia64.deb              24-Apr-2020 14:03   45K  
 coq_8.9.1-5+b1_ia64.deb                    12-Feb-2020 01:03   70M  
 coq_8.9.1-5+b1_ia64.buildinfo              12-Feb-2020 01:03   14K  
 coq_8.11.1~pre1-1_ia64.deb                 24-Apr-2020 14:03   83M  
 coq_8.11.1~pre1-1_ia64.buildinfo           24-Apr-2020 14:03   15K  
 coq-theories_8.9.1-5+b1_ia64.deb           12-Feb-2020 01:03   19M  
 coq-theories_8.11.1~pre1-1_ia64.deb        24-Apr-2020 14:03   20M