TIMESTAMP = 1610659498
SHA256 (regina/regina-rexx-3.9.3.tar.gz) = 1712aabee5978fdf57aeac82cd5a1a112b8980db8c5d7d045523f6a8b74b0531
SIZE (regina/regina-rexx-3.9.3.tar.gz) = 2672320
SHA256 (regina/regina.pdf) = b64693e9629b09eb5ea1e74cb246b11645cbc1f32197dcfbb97f5a5f35786ca4
SIZE (regina/regina.pdf) = 3646139
SHA256 (regina/regutil.pdf) = 7f75ff9cdca0b659695bb33df18aa0d6b4bc20b2817cc5ab401bbdfabf78fa9f
SIZE (regina/regutil.pdf) = 283470