DIST agda-stdlib-2.4.2.3.tar.gz 252558 SHA256 bb444fb35096be277c07aa27652c24509449fee9188325bb13eaac68b91eca7d SHA512 d503fc2abd18ab8c367a1947301e0302a6ff9fcbb6376a01f016aa2ab7a9a967e5adb96c5013db1892f4acd9fab62bead11c58c4d443784aff1e42ee4ffd4aa9 WHIRLPOOL 829e5613f2e03cda80608ef0899db413c98a505c9ba595d3aacd12171fc2e30e18e72365770a85655c7670fc5d45103c3b186d2bf8d9697aebae15bc9f40feaf
DIST lib-0.7.tar.gz 226400 SHA256 631a33e8e27ead32c85cc92a0a85849744d3b2960ef9675736d54288267ed2fa SHA512 557aa7b9b143f2e4a2249881a98c753035962bc5d9222241e6b4fe86aab8642986aa9db7ca6fc2b2da8486f9294ff30c4c2edfa0222ba95d9216ed2d0e00c114 WHIRLPOOL f51ba5c3430e9a8a11d8eacab3b6121c730e4a437286b88f743fc2521bf1941a889d5274dd4aa7f4fe283595b5ac29a8a35735d873eedc94505455178d167536
EBUILD agda-lib-ffi-0.0.2-r2.ebuild 733 SHA256 b2c2291fcf1e77c4eed8cb686bb4d8f43eb7971293da82ed4e556ea60ef189c9 SHA512 92182ff0f4ff71d3d6f67b2a01dd7a066d21a4c6054b3bd9e4333ed04741b781dc59b8e8e72a5a73b7d3e0e181b93adeb5f3f093ad746a243f38a01bdffdaec1 WHIRLPOOL 575baca9f51faf0712570d92086d1fc53154fc523d367d9c2b7485dbf1ec9f45063cf6c13cb614aeba18f0923c5596d54c52180e485840b3b1d76bba6535aa88
EBUILD agda-lib-ffi-0.0.2.ebuild 656 SHA256 699897007bce45ad5e7053c66561bc7f9048a4fcd085a19a6b57b92c8578345e SHA512 08e7debee9a5de4091376447e0aa09186c37878bd745cc6bf96d838f08e442b1b06125fa42c9c9e3e9f4133a4480a8add95fdd69c3938b4807b6238eb7a32140 WHIRLPOOL 1f4275673cdc808c2d2e440fd56db244785c0ed0776f5b87a9accaf03e9c416b2cc346a05788770c28c4c55c69d6afc426a4ec929e94be0a99e899ebe6a3eea7
MISC ChangeLog 2667 SHA256 c27ef5495c17d1fc2f4100bc99dee02689c4923ff51ac23ff0339655942fabe3 SHA512 134e7cede68c9eda902d2d70fd5d6f84b5af45f13acb6b3dd08d9b8784ed4b365859eb9ac802485f70b771d3e22653ff50f676eae6ebda4ad9dbd42658194bfb WHIRLPOOL fed1d125fab253050c482392d14afc42eef24b0dbfa435751b8eb31c7480eca3c96de27c7669431a86a4c8fcc569495a4bca4fe2404c956e8970059e762e4d00
MISC ChangeLog-2015 820 SHA256 a1856b3a4dac67c6d6ff50e3683b98ec0d7ca5951d59738dcae1887082ecad1e SHA512 6cca223a64c52c62fe358eb4fb2bbedaccca589e408372cbe797e3ad0079f268d3b27473f8e7e665e6fdc0e1334a04c13e673fd3fd0097b073d6b80b8f66a30c WHIRLPOOL eaad564045dc8a3c8a0fb6b4c85283aea4fcce948b4dc1eb12fa23106788da399a893394b8a63fe2e44201cd6e7616238fd991729d524e28f587224bff370455
MISC metadata.xml 427 SHA256 3a5e586e7e761960a08899a6debd1af5b6e4f8cad19ca5b9ae5fde98d64008e5 SHA512 5dcdfd777392fbc8d215e263cf2ef8be706ebb4790bc79f551d19f25bd061a144751b5c4ee39b75cd974fd996239c70a9ca14bcacd512503d0189dec98faf30f WHIRLPOOL f93338bd8db6cfe7a8c32265e086cfe0fceaa39d634d6e1c4a39597bc302e8b1b62ec944ea15f39b77383e3b61ac787de984fc44e144b7523182416f1ed65246