TIMESTAMP = 1701882013
SHA256 (gretl-2023c.tar.xz) = bd3c42987ad3a584e8f4220fa2eb140a7a5c6a54ba70dd6ef1b45a389caee8c2
SIZE (gretl-2023c.tar.xz) = 14359624
