DIST idris-mode-1.0.tar 266240 BLAKE2B d305e7a23d8b5e8f3e7a94c25e7ac7e514379a2d11630955f3b636162c4d0de2e0faaac02012339020889be3b50bf8b8431eb61a2034f3b367d62539f6997652 SHA512 01065f8900f54ff76f246a552725644d77682be65541c14faafe9866c46d896b15556dd1093dc5dc79744124ad3a90a20e9b3a12ef9b22949514dc08f2c6326f
EBUILD idris-mode-1.0.ebuild 460 BLAKE2B c4fa781a55e8fda5c8b9183f1b81616b3e8a2912aba0024c0203650b98e1910dbc15882e9c5cc650effb057a1870b12a04c46fa0137fd358ef79b6ebd97758d1 SHA512 5681e48fa7a5920e82040a5ebfdef8a4fc2670ca4485ad582bb5d414ba7013b63e0c9d42ed36c8ec40fe3c5bd226f55c72a6daccecf3d022980fc7652a2265f8
MISC metadata.xml 320 BLAKE2B 97391ccbd506cc1a963e4f796cb3cfbb75dcd1bccb4fc527261a86b05649d64a37ff06629bea19a89d0fae163b139588a1a6bec3a7cfec1dd4c6d96c50aa670f SHA512 5eddd611cce6e4963d6a193abb42aeec273289a5b19d27ca08e0a952997fc4695590c36b0785cc503af0a2184ea5ed26d68bf8dea7260946ae14497dd678d7c6