DIST agda-stdlib-2.4.2.5.tar.gz 253379 SHA256 9b46956e88a886cd08a8e6e83bea6115844860d7e927279abacc52e84b302b16 SHA512 b15ed5838916240c8602fe7a4bccddf43c71ab3a18ecb5a6dc85199b908e261b04cf794a4d93c90af0a9263a36603c392280639ace7fecead0c39269c2623302 WHIRLPOOL 6414b268a813309e7315d6e2ff9345efdb95d1559966f8755607045a685d4b7cf521750ac7efa8dd90001357d7c825d31589dfd2fe771d379f45d79739c7d66c
DIST agda-stdlib-2.5.2.0.13.tar.gz 264701 SHA256 e7cffc2b8b168c3584b6d1e760d2b49850835444e4777caa69eb29b3677ef8bb SHA512 340a7b9cb15793cdbe99f558a32eaab3476b94b4d43d45bdc92c6b368197d075c977fd2f6ce0c5b0baf584289a2218b07dd030ad2b83f6d9e4bc7effee91eece WHIRLPOOL 9e888be7ef5e09d678f64b487cff457381d417db475e7445b47afb415b80fcd0d3cbef756d9a13de22d704c243d7222429d3fcf1e9cd28776b0a54f7d278b0d0