HTab 1.6.1 → 1.6.2

raw patch · 1 files changed

+7/−6 lines, 1 filesdep ~cmdargs

Dependency ranges changed: cmdargs

Files

• HTab.cabal +7/−6

@@ -1,5 +1,5 @@ Name:                HTab-Version:             1.6.1+Version:             1.6.2 Synopsis:            Tableau based theorem prover for hybrid logics Description:         Tableau based theorem prover for hybrid logics Homepage:            http://www.glyc.dc.uba.ar/intohylo/htab.php@@ -11,14 +11,15 @@ Maintainer:          guillaumh@gmail.com Cabal-version:       >= 1.6.0 Build-type:          Simple-+Extra-source-files:  tests/test-example-formulas.hs+                     tests/coverage.sh Data-files:  NEWS              examples/*.sh              examples/sat/*.frm              examples/unsat/*.frm--Extra-source-files:  tests/test-example-formulas.hs-                     tests/coverage.sh+source-repository head+    type:     darcs+    location: http://www.glyc.dc.uba.ar/intohylo/repos/htab/  Flag static   Description: Build a static binary@@ -44,7 +45,7 @@                        containers < 0.4.2,                        deepseq < 1.2,                        strict < 1,-                       cmdargs >= 0.9, cmdargs < 1.0,+                       cmdargs >= 0.10.1,                        hylolib == 1.4.*   Extensions:          GADTs                        DeriveDataTypeable