Update elgamal.cabal