Index of /packages/coq/8.11.0/1.fc32/i686

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] coq-8.11.0-1.fc32.i686.rpm                  2020-03-27 20:16   71M  
[   ] coq-coqide-8.11.0-1.fc32.i686.rpm           2020-03-27 20:16  1.9M  
[   ] coq-coqide-debuginfo-8.11.0-1.fc32.i686.rpm 2020-03-27 20:16  549K  
[   ] coq-debuginfo-8.11.0-1.fc32.i686.rpm        2020-03-27 20:16  7.5M  
[   ] coq-debugsource-8.11.0-1.fc32.i686.rpm      2020-03-27 20:16  1.7M