DIST agda-stdlib-2.4.2.3.tar.gz 252558 BLAKE2B 2373b9d395a64fe7f23bbb583d8cfc5b2572f5aa3ea98b687e8f122ae1accae835e4ed1ebfe7252a5bc5e519898b9ca39e1f19e16bb9f4195246f9904cc2c9af SHA512 d503fc2abd18ab8c367a1947301e0302a6ff9fcbb6376a01f016aa2ab7a9a967e5adb96c5013db1892f4acd9fab62bead11c58c4d443784aff1e42ee4ffd4aa9
DIST lib-0.7.tar.gz 226400 BLAKE2B 4203486fa35d6dbfdcdfa227da43c771e8e2c78d906c06dae8cc3eb473c6ac0029554b98a0a665de80f1d1b5806a82ef68491050b0f90e80065a08ab91dba7c1 SHA512 557aa7b9b143f2e4a2249881a98c753035962bc5d9222241e6b4fe86aab8642986aa9db7ca6fc2b2da8486f9294ff30c4c2edfa0222ba95d9216ed2d0e00c114
EBUILD agda-lib-ffi-0.0.2-r2.ebuild 731 BLAKE2B 84aacabeb83f81b599b457e62d3541c17d2f5e7d5880264a27a560c79a57490666771c602b127e3812fe671dccce21af7f0ea3531b1ad50ac5c90d27821481c1 SHA512 a7870a30ca78b00f3fb4645d394fbbdf881f4e87b189cd590f4587212f1f46dbcb60a73511278305f54768eaf2a4b9d8a52f94d4f2701dc9cfa391f4f1dc724a
EBUILD agda-lib-ffi-0.0.2.ebuild 655 BLAKE2B cbdf24bdcd0027509b5cee43224f9b1c5e65c4c67263334a683ce848118c05967ebb8751da3742cd90678fe34b8fb06eec77fb33fd9e07f1a8bf02cce91d824e SHA512 ebeed8e5ae98c0a1b2f18bed48cb63cdd8c56d402ee7b61ea513ebd52c1cee744974133dfe3c00a255623c878726f89c871b9a7a94edf2d8406d31e39777a739
MISC metadata.xml 330 BLAKE2B 6b8e9f614657955a82b93edde0ac6370bce3599a9abc1535da4b599f9fbaa666733aaa937d978026886708a8962bc30ff00b424d1c10295e250954ea83381a56 SHA512 1908170de455fb8967c973cd7aadfbe638813d41d0e52e6c4d762f44f1c75eaf8762c500a88293506982f881edc870e0e449270f45db499d230c356bc01e2d7e