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