TIMESTAMP = 1647082017 SHA256 (TeX/xdvik-22.87.tar.gz) = 920a20928b4360a1ab83843cffb98c129a54c6462ee014d0e5c4b209b8840ea7 SIZE (TeX/xdvik-22.87.tar.gz) = 4600576