55d1f50e35
jmg@ has agreed to maintain this port for now as he uses it. He's willing to give maintainership to anyone else who actively uses it. Reported by: jmg
3 lines
181 B
Text
3 lines
181 B
Text
TIMESTAMP = 1600805117
|
|
SHA256 (rpaulo-pructl-0.2-v0.2_GH0.tar.gz) = 544bdf6fe5c23f311a4a7969fd1a67c8dab860a73beebb972d501d393c400712
|
|
SIZE (rpaulo-pructl-0.2-v0.2_GH0.tar.gz) = 5395
|