* installing to library ‘/home/hornik/tmp/R.check/r-patched-gcc/Work/build/Packages’
* installing *source* package ‘ClaimsProblems’ ...
** package ‘ClaimsProblems’ successfully unpacked and MD5 sums checked
** using staged installation
** R
** byte-compile and prepare package for lazy loading
** help
*** installing help indices
  converting help for package ‘ClaimsProblems’
    finding HTML links ... done
    AA                                      html  
    APRO                                    html  
    CD                                      html  
    CE                                      html  
    CEA                                     html  
    CEL                                     html  
    DT                                      html  
    MO                                      html  
    PIN                                     html  
    PRO                                     html  
    RA                                      html  
    Talmud                                  html  
    allrules                                html  
    coalitionalgame                         html  
    cumawardscurve                          html  
    deviationindex                          html  
    dynamicplot                             html  
    giniindex                               html  
    indexgpath                              html  
    lorenzcurve                             html  
    lorenzdominance                         html  
    pathawards                              html  
    pathawards3                             html  
    plotrule                                html  
    problemdata                             html  
    schedrule                               html  
    schedrules                              html  
    setofawards                             html  
    verticalruleplot                        html  
** building package indices
** testing if installed package can be loaded from temporary location
** testing if installed package can be loaded from final location
** testing if installed package keeps a record of temporary installation path
* DONE (ClaimsProblems)