SHA512 (sbcl-1.3.16-documentation-html.tar.bz2) = c62841b39e438bf26dac2cf10776c3fbabc99e22bfc9a03b748ef9b9cf44d252473201aa11bf801f4b17881fb13e565e5f18a9c4da065098f23aac30de195a5a
SHA512 (sbcl-1.3.16-source.tar.bz2) = 6bb0a7c926ba8031c319697b49b85eb58ea262d47237b2e7735738ad6103a759016a269e617931095174066f830e2edc362bf89384a97c3d19807552caf826b4
SHA512 (sbcl-1.3.16-arm64-linux-binary.tar.bz2) = 919835547d7613f64a2470157401e83c14584049602f21566a324af9fcbdfa838f5f2a7c5c6e28f3c3b5ccdec640024ce9c12b607a25741ad4c4d6e9813af3b8