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

 Name                                        Last modified      Size  Description
 Parent Directory                                                 -   
 libcoq-ocaml_8.11.0-1+b1_ppc64.deb          20-Apr-2020 08:03  6.2M  
 libcoq-ocaml-dev_8.11.0-1+b1_ppc64.deb      20-Apr-2020 08:03   16M  
 libcoq-ocaml-dbgsym_8.11.0-1+b1_ppc64.deb   20-Apr-2020 08:03  494K  
 coqide_8.11.0-1+b1_ppc64.deb                20-Apr-2020 08:03  1.7M  
 coqide-dbgsym_8.11.0-1+b1_ppc64.deb         20-Apr-2020 08:03  424K  
 coq_8.11.0-1+b1_ppc64.deb                   20-Apr-2020 08:03   74M  
 coq_8.11.0-1+b1_ppc64.buildinfo             20-Apr-2020 08:03   18K  
 coq-theories_8.11.0-1+b1_ppc64.deb          20-Apr-2020 08:03   20M  
 coq-dbgsym_8.11.0-1+b1_ppc64.deb            20-Apr-2020 08:03  4.8M  
 libcoq-ocaml_8.11.1~pre1-1_ppc64.deb        17-Apr-2020 08:03  6.2M  
 libcoq-ocaml-dev_8.11.1~pre1-1_ppc64.deb    17-Apr-2020 08:03   16M  
 libcoq-ocaml-dbgsym_8.11.1~pre1-1_ppc64.deb 17-Apr-2020 08:03  495K  
 coqide_8.11.1~pre1-1_ppc64.deb              17-Apr-2020 08:03  1.7M  
 coqide-dbgsym_8.11.1~pre1-1_ppc64.deb       17-Apr-2020 08:03  424K  
 coq_8.11.1~pre1-1_ppc64.deb                 17-Apr-2020 08:03   74M  
 coq_8.11.1~pre1-1_ppc64.buildinfo           17-Apr-2020 08:03   16K  
 coq-theories_8.11.1~pre1-1_ppc64.deb        17-Apr-2020 08:03   20M  
 coq-dbgsym_8.11.1~pre1-1_ppc64.deb          17-Apr-2020 08:03  5.0M