Version of hol-light: 20231021-1+b2
Architecture of hol-light: amd64
Version of ironseed-data: 0.4.0-5
Architecture of ironseed-data: all