-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

AUX 50proofgeneral-gentoo.el 68 SHA256 85504cdc0876b745d6989be00b87cc88ffc1dd6dfabff96a3cc3c3d48dfbe898 SHA512 32f3d33d85776f1695d542adadb8e35e372659fcce2805fc205732cd911be186cd5a1a63a8438287467dea744da9ef212f7338c0edb735a525ec30f892f1afca WHIRLPOOL f86e9df144b08f403c71efbd74ba2076e3a25ba05c09253bd8c60046297db04a1e33b67b7d1769109fcb1ce984b25d43f80470defd2573d0c3333193db3ddf54
AUX proofgeneral-4.2-bytecomp-warn.patch 1150 SHA256 77eb44c8933b9cf7415a11038635acd5bc11206f56bc73f4dc2a573addaf236e SHA512 ad7f972148cec19c60d58e7ee7808735b92d6f642d178453d123988c68e873824a7bf8ceeded82dfd3b6109e5b50e24bd7fa8753822b5f36cbb2e73ff4e0d30f WHIRLPOOL d90eafb04173260e94bc7fcecbfdd28fcf1f791c33942967f0377b3822a9b86b27cd8c98a9b204fdcacb1a40c4614da1f51a7c220f3ce68a914507e5d3422f5b
DIST ProofGeneral-4.2.tgz 1613190 SHA256 3567b68077798396ccd55c501b7ea7bd2c4d6300e4c74ff609dc19837d050b27 SHA512 102c56a1bc113439b1fa8aa10efe571d47d68b344d3489fe18ca3bdbf8828bb31fd2302a68a4bd639c59c429d41e82e5d933abddd3444781cb0e8a603db432ab WHIRLPOOL 9c4e54cf3b1528ee6cbdfac19b0c589f0c2640defbac15d5aaf0a1bfd64680bff45d2faa17f669210f47f30debb768d593590d350acac9c2669d24dc109bb4d8
EBUILD proofgeneral-4.2.ebuild 1503 SHA256 e3b7b6610704b05163a00d3661b9e06ae9b9cc971abf3ac95db65b79719c07b5 SHA512 ae2202b741ec1dde78713797dde7a6d9687ece86143c806f7e7ace52dad0b148110a103a1e4fcc343423762f1d48e0a7038fe92f97661cb8952fc7033704fa38 WHIRLPOOL 535becc2e3033a13d416ea7c217a474059795e287baedf8dbdb6a5d04aa40c792d173bdf9a67e47b58f730ec2f9f93531fce2053057b2d23643b61b5587a2844
MISC ChangeLog 6309 SHA256 422ddfa3430025eb510c1a6a874dfb4e491bfca7936378d3a35eb77f7e73b21c SHA512 ccc5024dee23476bf4f3da22b74909aac0ff0079cefd912ab47ad83583071231412cd79893a0198a4dd5c4b768b836200999b556aac306bfa0a264b0750da9c9 WHIRLPOOL fd058ad6b280b572ed317c2f291246666e0be99b2c7efb2b15f7be843d245c2d5b2bafbdf6765d86ef4d5b287941acb7d9ee47c135bf6fbca5b1a5d56750a6f2
MISC metadata.xml 158 SHA256 1393bdef3a74343fdb40a112c7096a1af16f67e7a43413250de28dfe73810eab SHA512 e55d75feae933ba948ae987305ea58e36f5880f18687e8acaf91237e33e251be3ecfd5be27048f4907ea6799e0bcf784b602096dd7e2bc9c450eb5e2bb6a73d2 WHIRLPOOL 1d1676172186235a3e99ca1d148298fb24f6a089f9b7908b3c28c246c8854969835fd3742b8b81e0a30b63d76ee0be0c42bfede2416a30dfc3c8b915a147340c
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQGcBAEBCAAGBQJTkvpkAAoJEJQzkH1pP7W4rDoL/1Aw0MVvdLAhPqHxTXGYMnez
ez7/+DIz/LtgQyV03xc5FB+plvbIycBzEh7oqrXT0rz7moJSbaS/90g/g7XuqWrJ
1VBjSMqZmedF6YMCSvzfuyqW9LakDNWI3omco89rFcqnT+LYsgan9/4CcZQzY9OK
0JYT29lM0X9OwdT8HBj60enwax3a0WjdHA0iVxXdag+w+QDImLXY6lz2zFmObTaT
jPKLHeWEDlWezAMSnA3qqlZLuJn7i67Nsnd1f0lNb4huIxs1PQG2A+4T1JxP0QX0
wEY1M/sKqGHnhDOgW59VvUHRjv40UUd9cBz/YJMk9O82XLi+84D7dsjm6u79Xui7
TZ9TKd9TnPpCbuSlKdqQikSiwjjjGke+rpWry6NyqKuphW/Muf/Gt1cNANK+B7iL
a87wJ0NtUoHc51wAOfnLfLXJ/S/qNJfD2xqhk+tjHLTXKpJjsEoFjnuChjTrgbqu
VwPn79EYh2StroENT+Jd3SWcIVw5pp9kWyNypLe+/Q==
=KOI0
-----END PGP SIGNATURE-----