Update from Hackage at 2017-02-16T09:23:18Z

jukebox/0.2.11/jukebox.cabal

@@ -0,0 +1,73 @@
+Name: jukebox
+Version: 0.2.11
+Cabal-version: >= 1.8
+Build-type: Simple
+Author: Nick Smallbone
+Maintainer: nicsma@chalmers.se
+Copyright: 2009-2016 Nick Smallbone, Koen Claessen, Ann Lillieström
+
+Category:            Logic
+
+Synopsis:            A first-order reasoning toolbox
+Description:
+  Jukebox is a suite of tools for transforming problems in first-order logic.
+  It reads problems in TPTP (FOF and TFF) format.
+  .
+  Currently it can translate typed problems to untyped (by efficiently
+  encoding types) and clausify problems (both typed and untyped).
+License: BSD3
+License-file: LICENSE
+extra-source-files: src/errors.h
+
+flag minisat
+  Description: Use minisat. Required for monotonicity inference.
+  Default: True
+
+source-repository head
+  type:     git
+  location: https://github.com/nick8325/jukebox
+
+Library
+  Build-depends: base >= 4 && < 5, array, transformers >= 0.4.0.0, directory,
+    filepath, pretty >= 1.1.2.0, symbol, dlist, process, containers, uglymemo
+  if flag(minisat)
+    Build-depends: minisat
+    Exposed-modules:
+      Jukebox.Sat3
+      Jukebox.SatEq
+      Jukebox.Sat
+      Jukebox.SatMin
+      Jukebox.HighSat
+  else
+    cpp-options: -DNO_MINISAT
+  ghc-options: -W -fno-warn-incomplete-patterns
+  Build-tools: alex
+  Hs-source-dirs: src
+  include-dirs: src
+  Exposed-modules:
+    Jukebox.Clausify
+    Jukebox.Form
+    Jukebox.GuessModel
+    Jukebox.InferTypes
+    Jukebox.Monotonox.Monotonicity
+    Jukebox.Monotonox.ToFOF
+    Jukebox.Name
+    Jukebox.Options
+    Jukebox.Provers.E
+    Jukebox.Provers.SPASS
+    Jukebox.SMTLIB
+    Jukebox.Toolbox
+    Jukebox.TPTP.Parse.Core
+    Jukebox.TPTP.FindFile
+    Jukebox.TPTP.Lexer
+    Jukebox.TPTP.Parsec
+    Jukebox.TPTP.Parse
+    Jukebox.TPTP.ParseSnippet
+    Jukebox.TPTP.Print
+    Jukebox.UnionFind
+    Jukebox.Utils
+
+Executable jukebox
+  Main-is: executable/Main.hs
+  Build-depends: base >= 4 && < 5, jukebox
+  ghc-options: -W -fno-warn-incomplete-patterns

jukebox/0.2.11/jukebox.json

@@ -0,0 +1 @@
+{"package-hashes":{"MD5":"fb469f409006a2c105ee44240c794031","Skein512_512":"793bce75e782ed7278bf47bf8d87e5992088f8b07e43dd8f8cbe3dcd1d1beb3e4da8987d3b4180c7b55b1af2bed0d20378ac9a2adf07c2bd1cda4e49179e74bf","SHA1":"acad804b2d58dc87cfc55d51a20c8d9ad5f65c81","SHA512":"37ae8c65eb9d32c97f431abf6c91682ec1da61c535597dc6c4b12f40d687d6b512cd03818bf79cb7991d5a1711ddb89b9f0f7e79ab6dfc0a5bda720c86186e58","SHA256":"ec2419917909588b5aaf88fef64fc0b7cb40d9da9e41a26763c53def58f8c506"},"package-locations":["https://hackage.haskell.org/package/jukebox-0.2.11/jukebox-0.2.11.tar.gz","https://s3.amazonaws.com/hackage.fpcomplete.com/package/jukebox-0.2.11.tar.gz"],"package-size":58010}