DIST agda-stdlib-2.6.4.3.2.0.tar.gz 1151828 BLAKE2B 3237e865c1090b31f846036990c57bd9497061ee364a120e96abb7a35ea971c11679c947833177cf570cd0cb52fb90b69b2cef57f4a8e13c0a8a6b7935cabfa3 SHA512 c1369e9f40b7c7a8df3918bd47f9927456c50337c9f1f9dbc255fdcb745f5b586a75080b3fb80293e5b07434da356ffa0de287b9b523a7de652a5d36f71eea77
DIST agda-stdlib-2.8.0.2.3.tar.gz 1267194 BLAKE2B 46a2ca770a6e91e7e73ccaec182f4c43861931df53adde1375775cfb259ac5f223851bca1d45b1dd797b8bfbac82c6467541f7a5da7841ac301e964fd37a76d6 SHA512 02cad3a8d3cccc2f89f41b9486c9ab86f5784261f02425600b2a03a868cea02c2a21408f2cb588de361d76c167ffdf86a5511264b156ddd9d6e01593de687182