TIMESTAMP = 1699915594
SHA256 (bartp5-libtexprintf-v1.25_GH0.tar.gz) = c50a44e33eba551526ff553c0af0bdd3f3a219d8ed60f11fcd9d7b30cd028af1
SIZE (bartp5-libtexprintf-v1.25_GH0.tar.gz) = 123468