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

 Name                                         Last modified      Size  Description
 Parent Directory                                                  -   
 coq-8.7.1-6.fc29.x86_64.rpm                  2018-07-11 14:14   44M  
 coq-coqide-8.7.1-6.fc29.x86_64.rpm           2018-07-11 14:14  1.5M  
 coq-coqide-debuginfo-8.7.1-6.fc29.x86_64.rpm 2018-07-11 14:14  364K  
 coq-debuginfo-8.7.1-6.fc29.x86_64.rpm        2018-07-11 14:14  3.8M  
 coq-debugsource-8.7.1-6.fc29.x86_64.rpm      2018-07-11 14:14  1.8M