42d33d3
SHA512 (tcsh-6.24.12.tar.gz) = ed139a20a23a51a41f9e5323cb897c683632e2975d38a07a4801cc3568bd2d138d5139f1552ccf400806654d13801cf38cff040d53d63557266a8164c2ad2267