erlang tools version bump
idris
Some keys for haskell