Index of /packages/coq/8.7.1/5.fc29/i686

Icon  Name                                       Last modified      Size  Description
[PARENTDIR] Parent Directory                                                -   
[   ] coq-8.7.1-5.fc29.i686.rpm                  2018-06-19 23:16   43M  
[   ] coq-coqide-8.7.1-5.fc29.i686.rpm           2018-06-19 23:16  1.5M  
[   ] coq-coqide-debuginfo-8.7.1-5.fc29.i686.rpm 2018-06-19 23:16  360K  
[   ] coq-debugsource-8.7.1-5.fc29.i686.rpm      2018-06-19 23:16  1.8M  
[   ] coq-debuginfo-8.7.1-5.fc29.i686.rpm        2018-06-19 23:16  3.7M