benchmarks/R-microbenchmark/DESCR: 7565277a02dc0432f065028369f7a8e815680cbe2b227baa0b9fb9bdcc746329
benchmarks/R-microbenchmark/Makefile: c080d887eba45dd132eed4d8eef198d1e4b592649f9df2f9a1ac68db0d60d33d
benchmarks/R-microbenchmark/distinfo: 3dd3bdd69ee05ce4a1fa05994a6a934a1722ffc361cc9b5361c76e4e2f6d566f
