Version of r-cran-devtools: 2.4.5-1
Architecture of r-cran-devtools: all
Version of prelude-correlator: 5.2.0-1.1
Architecture of prelude-correlator: all