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

 Name                                          Last modified      Size  Description
 Parent Directory                                                   -   
 libcoq-ocaml_8.9.1-5_sparc64.deb              30-Jan-2020 19:03  3.6M  
 libcoq-ocaml_8.11.1~pre1-1_sparc64.deb        17-Apr-2020 02:03  4.0M  
 libcoq-ocaml-dev_8.9.1-5_sparc64.deb          30-Jan-2020 19:03  8.5M  
 libcoq-ocaml-dev_8.11.1~pre1-1_sparc64.deb    17-Apr-2020 02:03  8.9M  
 libcoq-ocaml-dbgsym_8.9.1-5_sparc64.deb       30-Jan-2020 19:03   25K  
 libcoq-ocaml-dbgsym_8.11.1~pre1-1_sparc64.deb 17-Apr-2020 02:03   34K  
 coqide_8.9.1-5_sparc64.deb                    30-Jan-2020 19:03   99K  
 coqide_8.11.1~pre1-1_sparc64.deb              17-Apr-2020 02:03   45K  
 coq_8.9.1-5_sparc64.deb                       30-Jan-2020 19:03   70M  
 coq_8.9.1-5_sparc64.buildinfo                 30-Jan-2020 19:03   14K  
 coq_8.11.1~pre1-1_sparc64.deb                 17-Apr-2020 02:03   83M  
 coq_8.11.1~pre1-1_sparc64.buildinfo           17-Apr-2020 02:03   16K  
 coq-theories_8.9.1-5_sparc64.deb              30-Jan-2020 19:03   19M  
 coq-theories_8.11.1~pre1-1_sparc64.deb        17-Apr-2020 02:03   20M