DIST Agda-executable-2.3.0.1.tar.gz 1765 SHA256 614594c414c828c87abb1913741db66447c09617d57b92e58ffe445ceffed694 SHA512 8abdd2739a36a952bb754c069717be70e9fa74b55fc048c2877f7d0c6791a5a8f7944b3b3a97be754fd00431ff94b9f7c6f35f40b8376155952c4b9b414890b2 WHIRLPOOL 84b738ef4fb75d7dcff8c9cc0002509ff2ccc9bdd5e27c04472deed6df960047da907948f7d5e585a5e3e8f6caafc05cf2e25718cd9b575e4cf18a0e1e8cd422
EBUILD agda-executable-2.3.0.1-r1.ebuild 939 SHA256 81af8438b4647a6e6150779fbfb260327355e21ccb81ef97a0088ef257b3820b SHA512 d281e6646adb245097a76e5d5cf3d011b7b41c5f2da7969f14d2a4da6d737d901fa9e2d8820ebd09f93a5db32aa713b10010455c1d9017f0ca745a95fd9d4c9d WHIRLPOOL 37da7203146f86e76194b80b884d9a1234ec765abcffff3ec4651d4299c6692a61d1d9fed3154d75dcf05cff95f058db3cc510045a3f7d825e5df8dff2fc7eec
EBUILD agda-executable-2.3.0.1-r2.ebuild 938 SHA256 b299d69b9755cdc88da6d94238a0cdf1e79fcdb3e3680a4190ea898c4f44bdb3 SHA512 53f1fb2452ef04bffb615fb4726a9eb07c86fe62dae3eb6aae081578804e8cd6d180a3edc8f0d8fc85b8386732240ee160a302ef6107360a0014aa61eef4dffa WHIRLPOOL da455ce8e900e0ea77c7ea70dc25a373382ea294e4707ce38560ea7951eeb9c616f97fa0b42e7ed5f88b0af8107d5789f89f4d4b63a06b0cf61250922093a64e
MISC ChangeLog 1412 SHA256 54113c41ff4a1c071e6056c4b40b044892ef799f4451ea3dccfdfd768b966bee SHA512 da6f6d5c529f011a13cd8a4cfc03b1962bf5fc74a3d294d40aa0c49efa31c879da32ae9a238fed1c4f8fe0081438624369fc35b35df8356f4b66c43f3e7c92ef WHIRLPOOL a95c4593a3638bd951653b39a4c09112926aa7a402c600ee00bc838bd5c4245ddb8b993e9fdd1805b9e0e9b44fe70a0b60e01f0e4d9d909d51b60dd2236ed0c8
MISC metadata.xml 448 SHA256 5e3aedaf07222facb5978ed2def421d74b635e23d66259ea5054abb89c80b6c7 SHA512 1f96c1e7ec2ba6eb0e67e38e8c80cd191dfe07a85a8d6abb85811b5b43093f86792808f41e725eacf97e452d8fcc51489db1b166b2278e420b3d8368a8c6fb8b WHIRLPOOL 710e328314caa829083350c670ef55dc619dab54029c5908bb3183d872a91ca72ff74d2ffd0bd1f4e9d39f2c05faad0d23d05960a51d93541eec2770a7bb8fae