Cabal revisions of atp-haskell-1.7

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

 Name:             atp-haskell Version:          1.7+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:-    base >= 4.8 && < 5,+    base >= 4.8 && < 4.13,     containers,     HUnit,     mtl,