;;;; "sha2.setup -*- Hen -*- (include "setup-helper") (verify-extension-name "sha2") (setup-shared-extension-module (extension-name) (extension-version "2.0.0"))