Version of ocsigenserver: 5.1.2-1+b4
Architecture of ocsigenserver: amd64
Version of rednotebook: 2.32+ds-2
Architecture of rednotebook: all