Format: 1.8 Date: Tue, 24 Apr 2012 13:40:47 -0700 Source: haskell-logic-tptp Binary: libghc-logic-tptp-dev libghc-logic-tptp-prof libghc-logic-tptp-doc Architecture: source all amd64 Version: 0.3.0.1-1~hackage1+seereason1 Distribution: sid-seereason Urgency: low Maintainer: SeeReason Autobuilder 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.3.0.1-1~hackage1+seereason1) sid-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: 1490a9887c39dc9f0bc5c6cf02a26dde9d091b3c 50656 haskell-logic-tptp_0.3.0.1-1~hackage1+seereason1.tar.gz c3157e51586ea492403c9ada0ad447fd40a5e660 168460 libghc-logic-tptp-doc_0.3.0.1-1~hackage1+seereason1_all.deb 0daa29dd9a7683f81d2174f61900c7281de39be7 1404628 libghc-logic-tptp-dev_0.3.0.1-1~hackage1+seereason1_amd64.deb 19cd9ac13f31b45b76fc6f7fc360cb9410f999b9 1297348 libghc-logic-tptp-prof_0.3.0.1-1~hackage1+seereason1_amd64.deb c28281558f936df26471d82337ed5230b5d8bb7e 3589 haskell-logic-tptp_0.3.0.1-1~hackage1+seereason1.dsc Checksums-Sha256: afecdfec778717c5124c3e5224bfa421561e12388ff22251d8ae32668ac9cecc 50656 haskell-logic-tptp_0.3.0.1-1~hackage1+seereason1.tar.gz 19c30b036e6eb798c547b6d9e3779c6d4088dc84347a75b9fe722118151b378b 168460 libghc-logic-tptp-doc_0.3.0.1-1~hackage1+seereason1_all.deb a74f705d9006e81b9b9397fdf83f233d04080a993002e1d29ca9a9f46ae13727 1404628 libghc-logic-tptp-dev_0.3.0.1-1~hackage1+seereason1_amd64.deb 2d78c0eafe4f863ba59e858e6b9b67f3416ce89c5cee88240e1e3db624f891e9 1297348 libghc-logic-tptp-prof_0.3.0.1-1~hackage1+seereason1_amd64.deb 5d1485d37b5595cc4dfef2461c2014c78179a8366165c7252949f79f8a85af74 3589 haskell-logic-tptp_0.3.0.1-1~hackage1+seereason1.dsc Build-Info: Autobuilder-Version: 6.26 Time: 106.969209s Memory: 12323924 kB CPU: Intel(R) Core(TM) i7 CPU 920 @ 2.67GHz CPU count: 8 OS Architecture: x86_64 CPU MHz: 1600.000 CPU cache: 8192 KB Host: gene Files: 4368c6055e98881eccff8d1268c1a545 50656 haskell extra haskell-logic-tptp_0.3.0.1-1~hackage1+seereason1.tar.gz d3b2d3aa5e12174719abeeebdb126fdf 168460 doc extra libghc-logic-tptp-doc_0.3.0.1-1~hackage1+seereason1_all.deb abd953142fbb354f15f7ec31c29da901 1404628 haskell extra libghc-logic-tptp-dev_0.3.0.1-1~hackage1+seereason1_amd64.deb 5e4e53ae8abe158f62bd403d9539eb6f 1297348 haskell extra libghc-logic-tptp-prof_0.3.0.1-1~hackage1+seereason1_amd64.deb 0632e6b682ee7044b776090c160c59ec 3589 haskell extra haskell-logic-tptp_0.3.0.1-1~hackage1+seereason1.dsc