| Type | DIST |
|---|---|
| File | idris-mode-1.0.tar.gz |
| Size | 89451 bytes |
| Type | Value |
|---|---|
| BLAKE2B | fc64378dfd113f21b4341143f48ebcf5ae070f312504d9b526f96068e67126b9603826ee8eca3d68629b8fd67ec182d959358efc49fb4cc366ce73b1a6e13ff8 |
| SHA512 | f449354ca943fadbee9c07ec1cf109584266d97c5819ab8ead4941d7395c898861b8ba52f0dbeb1986b61294473d55e5f03e8268fc9e998e6228d515bd31fb77 |