1. 2013-02-24 [5] [R-sig-Debian] rmpi backports? Johannes Ra 2. 2013-02-12 [12] [R-sig-Debian] Ubuntu cran2deb PPA Steffen_Möl