* installing to library ‘/home/hornik/tmp/R.check/r-patched-gcc/Work/build/Packages’
* installing *source* package ‘verification’ ...
** package ‘verification’ successfully unpacked and MD5 sums checked
** using staged installation
** R
** data
*** moving datasets to lazyload DB
** byte-compile and prepare package for lazy loading
** help
*** installing help indices
  converting help for package ‘verification’
    finding HTML links ... done
    attribute                               html  
    brier                                   html  
    check.func                              html  
    conditional.quantile                    html  
    crps                                    html  
    crpsDecompostion                        html  
    disc.dat                                html  
    discrimination.plot                     html  
    fss                                     html  
    hg.test                                 html  
    leps                                    html  
    lines.verify                            html  
    measurement.error                       html  
    multi.cont                              html  
    observation.error                       html  
    performance.diagram                     html  
    pop                                     html  
    precip.ensemble                         html  
    predcomp.test                           html  
    prob.frcs.dat                           html  
    probcont2disc                           html  
    qrel.plot                               html  
    quantile2disc                           html  
    quantileScore                           html  
    rcrv                                    html  
    reliability.plot                        html  
    roc.area                                html  
    roc.plot                                html  
    rps                                     html  
    table.stats                             html  
    table.stats.boot                        html  
    value                                   html  
    verify-internal                         html  
    verify                                  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 (verification)