Index of /packages/coq/8.7.1/6.fc29/s390x

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] coq-8.7.1-6.fc29.s390x.rpm                  2018-07-11 14:19   45M  
[   ] coq-coqide-8.7.1-6.fc29.s390x.rpm           2018-07-11 14:19  1.6M  
[   ] coq-coqide-debuginfo-8.7.1-6.fc29.s390x.rpm 2018-07-11 14:20  332K  
[   ] coq-debuginfo-8.7.1-6.fc29.s390x.rpm        2018-07-11 14:20  3.3M  
[   ] coq-debugsource-8.7.1-6.fc29.s390x.rpm      2018-07-11 14:20  1.8M