Format: 1.8
Date: Thu, 05 Jul 2018 09:13:43 -0700
Source: haskell-sat
Binary: haskell-sat-utils
Architecture: source amd64
Version: 1.1.1-1~hackage1+seereason1~bionic1
Distribution: bionic-seereason
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: SeeReason Autobuilder <partners@seereason.com>
Description:
 haskell-sat-utils -
Changes:
 haskell-sat (1.1.1-1~hackage1+seereason1~bionic1) bionic-seereason; urgency=low
 .
   * Initial release
   * Built from hackage, revision: Debianize'' (Patch (Hackage "sat") "--- sat/sat.cabal.orig\t2011-09-10 10:16:05.000000000 -0700\n+++ sat/sat.cabal\t2011-09-10 14:14:46.784184607 -0700\n@@ -13,7 +13,7 @@\n description: CNF(Clausal Normal Form) SATisfiability Solver and Generator\n category: algorithms\n -- tested-with: ghc-6.4.2\n-build-depends: base\n+build-depends: base, random\n \n executable: SATSolve\n main-is: \"SATSolver.hs\"\n") Nothing (with /proc mounted)
Checksums-Sha1:
 4ff7012a75aced91e4afb6f0b9204d5cd49f230a 17236 haskell-sat_1.1.1-1~hackage1+seereason1~bionic1.tar.xz
 20865e069e4226f0675e010bc3a7ee021053f001 389680 haskell-sat-utils_1.1.1-1~hackage1+seereason1~bionic1_amd64.deb
 ad6d26aa71317d3251d8d4534320e890b1210c94 8560 haskell-sat_1.1.1-1~hackage1+seereason1~bionic1_amd64.buildinfo
 794be9515bc5165d87b27cf646fc01cb99c13021 2224 haskell-sat_1.1.1-1~hackage1+seereason1~bionic1.dsc
Checksums-Sha256:
 988ddaba77ed469127ca1bafb0b7156b2804dc4c9eb6e4322341aa586707b8de 17236 haskell-sat_1.1.1-1~hackage1+seereason1~bionic1.tar.xz
 e84ea2630c90be51ae54ccd4f1c38d042542384ebced4336d08b0223f2b76558 389680 haskell-sat-utils_1.1.1-1~hackage1+seereason1~bionic1_amd64.deb
 92cd4caceb81579c77dcdaf44dc033424f5911fc9582379f1df0b046addcfae1 8560 haskell-sat_1.1.1-1~hackage1+seereason1~bionic1_amd64.buildinfo
 d24c00d961bc2f07ea813f4debf63e34be8c7500efa5e5121e422aea684976c5 2224 haskell-sat_1.1.1-1~hackage1+seereason1~bionic1.dsc
Build-Info:
 Autobuilder-Version: 6.75
 Time: 7.283431931s
 Date: "Thu, 05 Jul 2018 09:13:50 -0700"
 Memory: 32819064 kB
 CPU: Intel(R) Core(TM) i7-7700T CPU @ 2.90GHz
 CPU count: 8
 OS Architecture: x86_64
 CPU MHz: 865.786
 CPU cache: 8192 KB
 Host: genie
Files:
 d2ba26bd83284a8689f077614858a1b2 17236 haskell optional haskell-sat_1.1.1-1~hackage1+seereason1~bionic1.tar.xz
 6ba8bd8b8a3fc95045c44f2d0eb860b6 389680 misc optional haskell-sat-utils_1.1.1-1~hackage1+seereason1~bionic1_amd64.deb
 9f2b4b5e2bdbd29539d9d4d54135d799 8560 haskell optional haskell-sat_1.1.1-1~hackage1+seereason1~bionic1_amd64.buildinfo
 ec67c997b49cd9d172072261eb0d9345 2224 haskell optional haskell-sat_1.1.1-1~hackage1+seereason1~bionic1.dsc