Permalink
Browse files

Require Cabal 1.6, to support source-repository

  • Loading branch information...
1 parent 83a24c2 commit 3177ef97ae3985f307bba78cdc16712713f6b4c9 @yav committed Oct 28, 2011
Showing with 1 addition and 1 deletion.
  1. +1 −1 presburger.cabal
View
@@ -9,7 +9,7 @@ Category: Algorithms
Synopsis: Cooper's decision procedure for Presburger arithmetic.
Description: Cooper's decision procedure for Presburger arithmetic.
Build-type: Simple
-Cabal-version: >= 1.2
+Cabal-version: >= 1.6
library
Build-Depends: base, containers, pretty

0 comments on commit 3177ef9

Please sign in to comment.