DIST idris-mode-1.1.0.tar 378880 BLAKE2B de2d0d1db9fc7df5cfc4f1af483b43557e4c5c7362a585293c6aad73017906c07e50157adfeb3b8ca14e840c007fdc423afb0de07f87c21028e5a7fabb939ddf SHA512 cfd403bf72f99a2738806469879c398c9e85e1128e93b28f190cad4c123af243743f1933ec21d62d6264482aa4dc17bcd88e2918ba1bd6011c7dffd8f1d23f97 EBUILD idris-mode-1.1.0.ebuild 457 BLAKE2B af524ac7f3bf6b73756405e29cff363e4c6007d13e0925ed0d0a17e774984f7d53f5e85d8f94772e0fb8d45ed802fb48c69a94cc3896dec0890d0aa9f168cb49 SHA512 20f84da5f9204863867fadd0c17c5b7972a91ecb18ef46239229e37465c997a0d135440401807cbe84c4f4cd13b0cb944ad8dfd9c1bbc38a0874e274f8b99ee9 MISC metadata.xml 320 BLAKE2B 97391ccbd506cc1a963e4f796cb3cfbb75dcd1bccb4fc527261a86b05649d64a37ff06629bea19a89d0fae163b139588a1a6bec3a7cfec1dd4c6d96c50aa670f SHA512 5eddd611cce6e4963d6a193abb42aeec273289a5b19d27ca08e0a952997fc4695590c36b0785cc503af0a2184ea5ed26d68bf8dea7260946ae14497dd678d7c6