benchmarks/R-microbenchmark/DESCR: 7565277a02dc0432f065028369f7a8e815680cbe2b227baa0b9fb9bdcc746329
benchmarks/R-microbenchmark/Makefile: 980f3a205d3cbd90227521caf81f7dd1c70a0fa350f4c888c9f65790fb32036a
benchmarks/R-microbenchmark/distinfo: a7365dd6aa39e17ca71c0546c38c96e950f957a3fc4d2d74f35f4123a3233cbc
