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

 Name                                        Last modified      Size  
 Parent Directory                                                 -   
 coq-theories_8.12.0-3+b3_x32.deb            2020-11-25 13:03   23M  
 coq_8.12.0-3+b3_x32.buildinfo               2020-11-25 13:03   16K  
 coq_8.12.0-3+b3_x32.deb                     2020-11-25 13:03  101M  
 coqide_8.12.0-3+b3_x32.deb                  2020-11-25 13:03   46K  
 libcoq-ocaml-dbgsym_8.12.0-3+b3_x32.deb     2020-11-25 13:03   38K  
 libcoq-ocaml-dev_8.12.0-3+b3_x32.deb        2020-11-25 13:03   11M  
 libcoq-ocaml_8.12.0-3+b3_x32.deb            2020-11-25 13:03  5.2M