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

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