Version of hol-light: 20231021-1+b2
Architecture of hol-light: amd64
Version of libdancer2-perl: 1.1.0+dfsg-1
Architecture of libdancer2-perl: all