Index of /packages/coq/8.7.1/2.fc28/x86_64

Icon  Name                                         Last modified      Size  Description
[PARENTDIR] Parent Directory                                                  -   
[   ] coq-coqide-debuginfo-8.7.1-2.fc28.x86_64.rpm 2018-02-25 00:45  367K  
[   ] coq-debugsource-8.7.1-2.fc28.x86_64.rpm      2018-02-25 00:45  1.8M  
[   ] coq-debuginfo-8.7.1-2.fc28.x86_64.rpm        2018-02-25 00:45  3.7M  
[   ] coq-8.7.1-2.fc28.x86_64.rpm                  2018-02-25 00:45   44M  
[   ] coq-coqide-8.7.1-2.fc28.x86_64.rpm           2018-02-25 00:45  1.5M