-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

The SHA256 checksum of the source distribution tarball is:

  9591372848e9713dbaae7debbe1e46d3fcadf46df12d2bd185b707ee57515a1c
  (sbcl-1.0.31-source.tar)
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkqW6eIACgkQhMXieFLWjfI8EACePc4uNjY5ViPsRAgLiAuL7l2Q
wnEAnib0Ly+EjhohQKMBvqimGOBP24wC
=BQzL
-----END PGP SIGNATURE-----