DCFL 0.1.0.0 → 0.1.1.0

raw patch · 1 files changed

+6/−3 lines, 1 files

Files

• DCFL.cabal +6/−3

@@ -10,7 +10,7 @@ -- PVP summary:      +-+------- breaking API changes --                   | | +----- non-breaking API additions --                   | | | +--- code changes with no API change-version:             0.1.0.0+version:             0.1.1.0  -- A short (one-line) description of the package. synopsis:           Communication Free Learning-based constraint solver@@ -44,7 +44,10 @@ -- Constraint on the version of Cabal needed to build this package. cabal-version:       >=1.8 -+source-repository head+  type: git+  location: https://github.com/Poincare/DCFL.git+   library   -- Modules exported by the library.   hs-source-dirs:      src@@ -55,4 +58,4 @@      -- Other library packages from which modules are imported.   build-depends:       base ==4.6.*, random ==1.0.*, HUnit ==1.2.*-  +  ghc-options:         -Wall