Index of /packages/coq/8.7.1/2.fc29/ppc64

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] coq-debuginfo-8.7.1-2.fc29.ppc64.rpm        2018-02-24 23:58  3.4M  
[   ] coq-coqide-debuginfo-8.7.1-2.fc29.ppc64.rpm 2018-02-24 23:58  350K  
[   ] coq-coqide-8.7.1-2.fc29.ppc64.rpm           2018-02-24 23:58  1.6M  
[   ] coq-8.7.1-2.fc29.ppc64.rpm                  2018-02-24 23:58   45M  
[   ] coq-debugsource-8.7.1-2.fc29.ppc64.rpm      2018-02-24 23:58  1.8M