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

Icon  Name                                          Last modified      Size  Description
[PARENTDIR] Parent Directory                                                   -   
[   ] coq-8.7.1-6.fc29.armv7hl.rpm                  2018-07-11 14:50   44M  
[   ] coq-coqide-8.7.1-6.fc29.armv7hl.rpm           2018-07-11 14:50  1.5M  
[   ] coq-coqide-debuginfo-8.7.1-6.fc29.armv7hl.rpm 2018-07-11 14:50  377K  
[   ] coq-debuginfo-8.7.1-6.fc29.armv7hl.rpm        2018-07-11 14:50  3.8M  
[   ] coq-debugsource-8.7.1-6.fc29.armv7hl.rpm      2018-07-11 14:50  1.8M