(0 . 0)(1 . 5)
410 SHA512=sha512sum
411 CHECKSUM_OR_DIE=grep " $@$$" Manifest.sha512 | $(SHA512) -c || (mv $@ $@.badsum && false)
412 VERIFY_OR_DIE=gpg --verify $@ || (mv $@ $@.badsig && false)
413 DECODE_DEED=cat $@.asc | sed -e '1,/begin-base64/d' -e '/====/,$$d' | base64 -d > $@
414 VERIFY_DEED_OR_DIE=gpg --verify $@.asc || (mv $@.asc $@.asc.badsig && false)