Index of /packages/coq/8.7.1/7.fc29/aarch64

Icon  Name                                          Last modified      Size  Description
[PARENTDIR] Parent Directory                                                   -   
[   ] coq-8.7.1-7.fc29.aarch64.rpm                  2018-07-13 01:38   47M  
[   ] coq-coqide-8.7.1-7.fc29.aarch64.rpm           2018-07-13 01:38  1.8M  
[   ] coq-coqide-debuginfo-8.7.1-7.fc29.aarch64.rpm 2018-07-13 01:38  436K  
[   ] coq-debuginfo-8.7.1-7.fc29.aarch64.rpm        2018-07-13 01:38  4.1M  
[   ] coq-debugsource-8.7.1-7.fc29.aarch64.rpm      2018-07-13 01:37  1.8M