Index of /packages/coq/8.6/2.fc26/data/sigcache/f5282ee4/i686

Icon  Name                                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                                      -   
[   ] coq-8.6-2.fc26.i686.rpm.sig                      2017-02-22 04:53  4.2K  
[   ] coq-coqide-8.6-2.fc26.i686.rpm.sig               2017-02-22 22:44  4.2K  
[   ] coq-debuginfo-8.6-2.fc26.i686.rpm.sig            2017-02-25 16:15  4.2K