Version of hol-light: 20231021-1+b2
Architecture of hol-light: amd64
Version of texlive-pictures-doc: 2023.20240207-1
Architecture of texlive-pictures-doc: all