DIST ATS2-Postiats-gmp-0.4.2.tgz 4532277 BLAKE2B 3263ab8790c737a2a4f30d2acb770e4f5d3bbedd40136bbf07283541f5b6678aaba7031cf4a2e77552755e5510fcc65446dfc3499645f5c7f4c4e5bc52e8942d SHA512 cfc3f15b1365badcdce535afc7e71ffe25471f2661bdc47294b77c917049566eee4eeb8ec373f4121ad474b8528263d7b3ff8627c1f5b7f3ea7475cb95ca7597
DIST ats2-0.4.2-2-deprecated-cl-package.patch 2456 BLAKE2B 6a81727dd0dd384009683ce430d1d50caf1fea0d02f31ae0fab4e60861f657d348a334f454e0ea44024a10599c449385ec8bf694463a4a8d956648610c0a6f6f SHA512 1746072b88d8987648a0c7d606c1e0dd1b38d07d1119b89ca6999327aa81068c70e26ddc70bd26a7f5d1d1826fa0e71320a6d52f39aa05c2cd1d858557ba3afc
DIST ats2-0.4.2-2-prelude-function-prototypes.patch 3715 BLAKE2B aff950ceb7b5419973b8ed8a82de92780a32ca4c5beb8856dfe89409fd47d91e154251cb8ab0d978a9ac50f2b6f91395629c78ddecfbc28c91a6b6314af80a7e SHA512 a4bda6c244a94347ec5b32f8b68e4057bf3a442bc8e5e08a7c059881366d25f93193e7d9942d93e2d80082ba9cd08a5fd0bc7b41b74c5056be83cd10a89c55f1