* installing to library ‘/home/hornik/tmp/R.check/r-patched-gcc/Work/build/Packages’
* installing *source* package ‘weyl’ ...
** this is package ‘weyl’ version ‘0.0-7’
** package ‘weyl’ successfully unpacked and MD5 sums checked
** using staged installation
** R
** data
*** moving datasets to lazyload DB
** inst
** byte-compile and prepare package for lazy loading
** help
*** installing help indices
  converting help for package ‘weyl’
    finding HTML links ... done
    Ops                                     html  
    coeffs                                  html  
    constant                                html  
    degree                                  html  
    derivation                              html  
    dim                                     html  
    dot                                     html  
    drop                                    html  
    grade                                   html  
    horner                                  html  
    identity                                html  
    ooom                                    html  
    print                                   html  
    rweyl                                   html  
    spray                                   html  
    weyl-class                              html  
    weyl-package                            html  
    weyl                                    html  
    x_and_d                                 html  
    zero                                    html  
*** copying figures
** building package indices
** installing vignettes
** 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 (weyl)