* installing to library ‘/home/hornik/tmp/R.check/r-patched-gcc/Work/build/Packages’
* installing *source* package ‘RobustArithmetic’ ...
** this is package ‘RobustArithmetic’ version ‘0.1.0’
** package ‘RobustArithmetic’ 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 ‘RobustArithmetic’
    finding HTML links ... done
    Ops.ra_ivl                              html  
    RobustArithmetic-package                html  
    as.data.frame.ra_certificate            html  
    format.ra_certificate                   html  
    format.ra_summary_certificate           html  
    print.ra_certificate                    html  
    print.ra_summary_certificate            html  
    ra_arith                                html  
    ra_ball_certificate                     html  
    ra_certify_fixed_point                  html  
    ra_check_expr                           html  
    ra_check_sentinels                      html  
    ra_constants                            html  
    ra_div_extended                         html  
    ra_elem                                 html  
    ra_elem_escalate                        html  
    ra_enclose_expr                         html  
    ra_enclose_mpfr                         html  
    ra_environment_anchor                   html  
    ra_escalation_show                      html  
    ra_eval_natural                         html  
    ra_gershgorin                           html  
    ra_has_mpfr                             html  
    ra_interval                             html  
    ra_interval_to_text                     html  
    ra_measure_library_error                html  
    ra_measures                             html  
    ra_message_no_mpfr                      html  
    ra_newton_step                          html  
    ra_operator_table                       html  
    ra_parts                                html  
    ra_paving_show                          html  
    ra_periodic_frontier                    html  
    ra_powers                               html  
    ra_precision_ladder                     html  
    ra_pred                                 html  
    ra_prov                                 html  
    ra_round_out                            html  
    ra_sentinels                            html  
    ra_set_dec                              html  
    ra_sets                                 html  
    ra_show                                 html  
    ra_slack                                html  
    ra_solve                                html  
    ra_specials                             html  
    ra_spectral_sum                         html  
    ra_stop                                 html  
    ra_succ                                 html  
    ra_to_double                            html  
    ra_vector                               html  
    ra_verify_monotonicity                  html  
    ra_verify_operator_table                html  
    ra_warn                                 html  
    summary.ra_certificate                  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 (RobustArithmetic)