Version of texlive-latex-extra: 2023.20240207-1
Architecture of texlive-latex-extra: all
Version of prove6: 0.0.12-7+b2
Architecture of prove6: amd64