DIST idris-mode-20260506.2033.tar 327680 BLAKE2B b5bd5fcd5d6c241ddcd1169b557f0776f70ae036c7b36ad61bbb74db2849c7e54520b66ad9e1915aa67c1d2a126d89bf9ab40e2e8f6836ce832978bbc541b464 SHA512 a952ed85bb6e1ce0f8a4392f70e469d5c4ec672e3d50a72b5041abe4d25a3770c7688270877a74399319533d5672cba23faf9c9eae2efa2df34de588ce47b3f1
EBUILD idris-mode-20260506.2033.ebuild 453 BLAKE2B f0a6115f2015240cdff937c04e6058f2ba2af2ec87f9d79f2caef66493c4e70651bffe24cc9c95f8544a288cfe897567527ad39d2faf457a31c3847db29050f2 SHA512 6a2b9890b6d9bd688f671dcc1254695a60341db05b0b273a639474c53dfbd7b7f6a1a5b5efa7c68703dd4c0ba82aa1661d7ff48addfa27a0b2c8b48a4b2204e1
MISC metadata.xml 320 BLAKE2B 97391ccbd506cc1a963e4f796cb3cfbb75dcd1bccb4fc527261a86b05649d64a37ff06629bea19a89d0fae163b139588a1a6bec3a7cfec1dd4c6d96c50aa670f SHA512 5eddd611cce6e4963d6a193abb42aeec273289a5b19d27ca08e0a952997fc4695590c36b0785cc503af0a2184ea5ed26d68bf8dea7260946ae14497dd678d7c6