Cabal revisions of presburger-0.1

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

 Name:           presburger Version:        0.1+x-revision: 1 License:        BSD3 License-file:   LICENSE Author:         Iavor S. Diatchki Synopsis:       Cooper's decision procedure for Presburger arithmetic. Description:    Cooper's decision procedure for Presburger arithmetic. hs-source-dirs: src-Build-Depends:  base, containers, pretty+Build-Depends:  base < 4.11, containers < 0.6, pretty Build-type:     Simple Exposed-modules: Data.Integer.Presburger