Cabal revisions of atp-haskell-1.9

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

 Name:             atp-haskell Version:          1.9+x-revision: 1 Synopsis:         Translation from Ocaml to Haskell of John Harrison's ATP code Description:      This package is a liberal translation from OCaml to Haskell of                   the automated theorem prover written in OCaml in Library   Build-Depends:     applicative-extras,-    base >= 4.8 && < 5,+    base >= 4.8 && < 4.13,     containers,     HUnit,     mtl,