TIMESTAMP = 1737056103
SHA256 (libtexprintf-1.25.tar.gz) = 8a6f132d7bb27a20a41f8f5905cab0a78d73453dcb74cbe8263f7632197b0c25
SIZE (libtexprintf-1.25.tar.gz) = 466120
