Index of /packages/coq/8.7.1/1.fc28/armv7hl

Icon  Name                                          Last modified      Size  Description
[PARENTDIR] Parent Directory                                                   -   
[   ] coq-8.7.1-1.fc28.armv7hl.rpm                  2018-02-13 04:27   44M  
[   ] coq-coqide-8.7.1-1.fc28.armv7hl.rpm           2018-02-13 04:27  1.5M  
[   ] coq-coqide-debuginfo-8.7.1-1.fc28.armv7hl.rpm 2018-02-13 04:27  380K  
[   ] coq-debuginfo-8.7.1-1.fc28.armv7hl.rpm        2018-02-13 04:27  3.7M  
[   ] coq-debugsource-8.7.1-1.fc28.armv7hl.rpm      2018-02-13 04:27  1.8M