Format: 1.8 Date: Tue, 23 Apr 2013 12:52:12 -0700 Source: haskell-logic-tptp Binary: libghc-logic-tptp-dev libghc-logic-tptp-prof libghc-logic-tptp-doc Architecture: source all amd64 Version: 0.4.0.0-0+seereason2~bpo60+1 Distribution: squeeze-seereason Urgency: low Maintainer: Debian Haskell Group Changed-By: SeeReason Autobuilder Description: libghc-logic-tptp-dev - Import, export etc. for TPTP, a syntax for first-order logic libghc-logic-tptp-doc - Import, export etc. for TPTP, a syntax for first-order logic libghc-logic-tptp-prof - Import, export etc. for TPTP, a syntax for first-order logic Changes: haskell-logic-tptp (0.4.0.0-0+seereason2~bpo60+1) squeeze-seereason; urgency=low . * Debianization generated by cabal-debian * Built from hackage, revision: Debianize (Patch (Hackage "logic-TPTP") "--- old/logic-TPTP.cabal\t2011-09-15 16:31:03.000000000 -0700\n+++ new/logic-TPTP.cabal\t2011-09-16 13:40:26.458725487 -0700\n@@ -51,7 +51,7 @@\n \n \n Library\n- ghc-options: -Wall -O2\n+ ghc-options: -Wall -O2 -XBangPatterns\n \n build-depends: base >=4 && < 5\n , array\n--- old/Parser.y\t2012-01-20 11:54:31.000000000 -0800\n+++ new/Parser.y\t2012-01-20 13:07:07.427160933 -0800\n@@ -9,7 +9,7 @@\n import Control.Monad\n import Data.List as L\n import Lexer\n-import Data.Set as S\n+import qualified Data.Set as S\n import Codec.TPTP.Base\n import System.IO\n import System.IO.Unsafe\n--- old/ParserC.y\t2012-01-20 13:28:19.000000000 -0800\n+++ new/ParserC.y\t2012-01-20 13:35:49.917165510 -0800\n@@ -7,7 +7,7 @@\n import Control.Monad\n import Data.List as L\n import Lexer\n-import Data.Set as S\n+import qualified Data.Set as S\n import Codec.TPTP.Base\n import System.IO\n import System.IO.Unsafe\n") Checksums-Sha1: b4d3e338dfecf29412df191961c1f77c951a4d9a 47899 haskell-logic-tptp_0.4.0.0-0+seereason2~bpo60+1.tar.gz 5fe6ba20b3b841086a7e4b13cdbb87147c627663 171362 libghc-logic-tptp-doc_0.4.0.0-0+seereason2~bpo60+1_all.deb 07828ed9c14dca0f29630b65b1664f9dfc35021c 1032646 libghc-logic-tptp-dev_0.4.0.0-0+seereason2~bpo60+1_amd64.deb be3fa61dedb1108cd995aecbc7640ae4191ff329 997932 libghc-logic-tptp-prof_0.4.0.0-0+seereason2~bpo60+1_amd64.deb b6c7d7c0aa3a1bd8b9440065b3cc77bc3c6611ec 3826 haskell-logic-tptp_0.4.0.0-0+seereason2~bpo60+1.dsc Checksums-Sha256: 7a819a5f8af881d8e3f45c78887fced9fb01692b44bb71788663dc16d697d554 47899 haskell-logic-tptp_0.4.0.0-0+seereason2~bpo60+1.tar.gz 839195012e5e45ac97c3c22f0f53467fd6ad8988f6d98caa56e26999e5e50c48 171362 libghc-logic-tptp-doc_0.4.0.0-0+seereason2~bpo60+1_all.deb 70af2df147779f9dcdea1c058671f499d4efebfed08bf61656c7de570509cca0 1032646 libghc-logic-tptp-dev_0.4.0.0-0+seereason2~bpo60+1_amd64.deb 387e0c522bb748cd2850ce25ebabcea562d2ff438f53936873598c4db901b433 997932 libghc-logic-tptp-prof_0.4.0.0-0+seereason2~bpo60+1_amd64.deb 2845cc4768097c1064cf88f4aa7778af9c84985300e327a757f8038ba7e7bd09 3826 haskell-logic-tptp_0.4.0.0-0+seereason2~bpo60+1.dsc Build-Info: Autobuilder-Version: 6.53.3 Time: 66.81808s Memory: 12297152 kB CPU: Intel(R) Core(TM) i7 CPU 920 @ 2.67GHz CPU count: 8 OS Architecture: x86_64 CPU MHz: 2668.000 CPU cache: 8192 KB Host: gene Files: 06ef68a9bec0f41c8f650901f8ad64ff 47899 haskell optional haskell-logic-tptp_0.4.0.0-0+seereason2~bpo60+1.tar.gz 71b62760348901997ecdf1981278e6a2 171362 doc optional libghc-logic-tptp-doc_0.4.0.0-0+seereason2~bpo60+1_all.deb 3ee48e46a2c8d71b19640b9223a85254 1032646 haskell optional libghc-logic-tptp-dev_0.4.0.0-0+seereason2~bpo60+1_amd64.deb 3f4d49961890987ec9e7db0fe6a68358 997932 haskell optional libghc-logic-tptp-prof_0.4.0.0-0+seereason2~bpo60+1_amd64.deb ba3a66a51134e8e3a69448e088027026 3826 haskell optional haskell-logic-tptp_0.4.0.0-0+seereason2~bpo60+1.dsc