DIST acl2s-scribblings-0_p20220107.tar.gz 13886 BLAKE2B e4dee3f39c1ae1eee705f614d2c73135ab0f91b6403f041908fed8fc027a8026557a2398cc6822f8d1d41da273e02dbc20e2de8d49d71dfdb45e542258795550 SHA512 85e38eff4fcf7a1b4a9f64127ec43619ac8d4e947db0dd24cc47d0d3dc6577c86a11926b8ee10d4e5f25eaab05032722153f232e8e4eab4b82f6b0c61e71d304