Index of /packages/coq/8.6/2.fc26/i686

 Name                              Last modified      Size  Description
 Parent Directory                                       -   
 coq-8.6-2.fc26.i686.rpm           2017-02-10 14:33   70M  
 coq-coqide-8.6-2.fc26.i686.rpm    2017-02-10 14:33  2.2M  
 coq-debuginfo-8.6-2.fc26.i686.rpm 2017-02-10 14:33  5.3M