Version of rednotebook: 2.32+ds-2
Architecture of rednotebook: all
Version of prelude-correlator: 5.2.0-1.1
Architecture of prelude-correlator: all