TIMESTAMP = 1779779776
SHA256 (libtexprintf-1.31.tar.gz) = 8ca5a11d387631a34979295f73f9a2eccc87e17c690dcd4c1454eb65a9e372bc
SIZE (libtexprintf-1.31.tar.gz) = 506051
