* installing to library ‘/home/hornik/tmp/R.check/r-patched-gcc/Work/build/Packages’
* installing *source* package ‘s7contract’ ...
** this is package ‘s7contract’ version ‘0.2.3’
** package ‘s7contract’ successfully unpacked and MD5 sums checked
** using staged installation
** R
** inst
** byte-compile and prepare package for lazy loading
** help
*** installing help indices
  converting help for package ‘s7contract’
    finding HTML links ... done
    gen_bind                                html  
    gen_commands                            html  
    gen_constant                            html  
    gen_double                              html  
    gen_element                             html  
    gen_example                             html  
    gen_sample                              html  
    grapes-colon-colon-grapes               html  
    interface_requirements                  html  
    new_command                             html  
    new_generator                           html  
    new_interface                           html  
    new_law                                 html  
    new_state_law                           html  
    new_trait                               html  
    s7contract                              html  
    trait_methods                           html  
** 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 (s7contract)