DIST agda-editor-tactics-20211024.2357.tar 20480 BLAKE2B 73b8c1c4b4aa000ba43e1420ec190092a83840efe5d7f8d51b35ae0bf1ed714fcb08895be99e1fb686a622a1679d94b496738f9a79e2f4b9b1972d497955673e SHA512 43ea1fdc73045b3ac87768ad3c28b32f5baaeb9020ae6919b5d1193f1115701bd0962e7e30125277d494ce8010488cf0fa0e3d33ffcc053127b26a8079f453cb
EBUILD agda-editor-tactics-20211024.2357.ebuild 546 BLAKE2B 94cd41d635ac3a5902ac7c9f024d947501640a90331833e2145c49261a0f8314d2b96d9c3d098fd31c544ad3da33935998acacd3b4f900ee5fbde05f0a8afe13 SHA512 47b166ee0d2e6c6bc91cf98eecc54de4a20c778ddd52469772c3b0802824a6ab4cb5df33392e141ba2fe90aaff83454328fb1a71c4f1ecfa2c9f857b8bedd085
MISC metadata.xml 341 BLAKE2B 2660459c7b6a9a2cf3641792d3b7caab1546d3446b53174953d5cdc3b440163f17a1397b1a9722fe56d3ecf877336adf5ccf0a3d0275a97c3f0e98cc93417720 SHA512 a5f7ff4703c52dff33ba29aeef9f3cba2dbd97235604e09c43720655812f53f4497ac9ca2f313bacececd353d60b4954ebefa0403b860953266b94f4c286ba6f