[Agda] Agda 2.4.2.2: Bumped upper version bound for hashtables

[Andrés Sicard-Ramírez]

Hi,

FYI, answering a request by Joachim Breitner (nomeata) related to the
incompatibility of Agda 2.4.2.2 with Stackage LTS 2.0,  I modified in
Hackage the dependency of Agda 2.4.2.2 in hashtables to

  hashtables >= 1.0 && < 1.2 || >= 1.2.0.2 && < 1.3

It's necessary to run

  $ cabal update
  $ cabal install Agda

for using the new dependency.

Best,

-- 
Andrés