DIST agda-pkg-0.1.51.tar.gz 23214 BLAKE2B 6b72b520740711dd53210db07f710113fbf0a5ab3192f3529b61f6bb66160c5ce6cf14fa1cdd5b020d56359f8f81edaab49da9c84fa4e63fd53a1ac76e0896f7 SHA512 0290d52effbb05103a45673ba979dc10d2c7d1b74a1d4ec8a3dec3d0660c5c150a69e0d59fc731938940674a56981e878d11c36c53bed1ae006d6e79f20e77cd
EBUILD agda-pkg-0.1.51.ebuild 1117 BLAKE2B 0865210fb84698ef84307ccfed2abb8098c9708602d6c47f12d33999e620ab9e541816c6d1f6934798a331a7c8d82d495a92ab2c0c6069ae5b7d2bc55bee6237 SHA512 236aba401298a118f84af5593b81942384d79b6cd87e571836963a02316bb6dbb05a11ffc56b222f5f75acb65ee1fa6da807f51f44576bb42c51506f23da1446
MISC metadata.xml 250 BLAKE2B 2c1826692a57fc34172d2287536917d1bed0eab294a590a769caf13b71f79727ca1cbd7b2fbb6ba65164e477be04d1ba1f029d1441d11167c7282e47b47eb8d8 SHA512 6705fbef3cc4702ae20e4ffcffa99663fc11e3fb3eee7d95f1c86096e07e2a0a7f74ae91f8ef242034593d50078dbaa4018673a9ed49581886be49522e5829f3