* installing to library ‘/home/hornik/tmp/R.check/r-patched-gcc/Work/build/Packages’
* installing *source* package ‘sicher’ ...
** this is package ‘sicher’ version ‘0.1.0’
** package ‘sicher’ 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 ‘sicher’
    finding HTML links ... done
    Any                                     html  
    Bool                                    html  
    DataFrame                               html  
    Double                                  html  
    Enum                                    html  
    Function                                html  
    Integer                                 html  
    List                                    html  
    ListOf                                  html  
    Null                                    html  
    Numeric                                 html  
    Optional                                html  
    Readonly                                html  
    Scalar                                  html  
    String                                  html  
    check_type                              html  
    create_dataframe_type                   html  
    create_list_type                        html  
    create_type                             html  
    grapes-colon-grapes                     html  
    grapes-set-grapes                       html  
    infer_type                              html  
    print.sicher_type                       html  
    print.sicher_typed_annotation           html  
    print.sicher_typed_function             html  
    print.sicher_union                      html  
    sub-.sicher_type                        html  
    typed_function                          html  
    union-operator                          html  
*** copying figures
** 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 (sicher)