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