Format: 1.8 Date: Thu, 03 Jan 2019 14:33:23 -0800 Source: haskell-sat Binary: haskell-sat-utils Architecture: source amd64 Version: 1.1.1-1~hackage1+seereason1~bionic2 Distribution: bionic-seereason Urgency: low Maintainer: Debian Haskell Group Changed-By: SeeReason Autobuilder Description: haskell-sat-utils - Changes: haskell-sat (1.1.1-1~hackage1+seereason1~bionic2) 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: 5a0fe296dfa991e61d890ec2a4bace0cf0de217c 17244 haskell-sat_1.1.1-1~hackage1+seereason1~bionic2.tar.xz 786e085c4d5c773675c1006219e3171061f45591 372580 haskell-sat-utils_1.1.1-1~hackage1+seereason1~bionic2_amd64.deb 4b86ad74a9b18919e5b2fbfe815a9767066ca57b 8867 haskell-sat_1.1.1-1~hackage1+seereason1~bionic2_amd64.buildinfo 0619d37d548688cafe5b1d0da3934781532ecf15 2246 haskell-sat_1.1.1-1~hackage1+seereason1~bionic2.dsc Checksums-Sha256: c95bb5c5696e3ed704ce8f0c6c931a08f906e835aefcea35f0549196fcb9bbf7 17244 haskell-sat_1.1.1-1~hackage1+seereason1~bionic2.tar.xz 38aeb6269c86dd99298d0f53f131c91fc9c75bf471bc8133b622be73007bd9f6 372580 haskell-sat-utils_1.1.1-1~hackage1+seereason1~bionic2_amd64.deb 1335cf003791512d7d9262e77a407ac30e055940d5776197f8b46462892230d2 8867 haskell-sat_1.1.1-1~hackage1+seereason1~bionic2_amd64.buildinfo d6093e2549b9b03f849bb823bbe3f734af686ac3ced5f8723d36a4806fdb60b0 2246 haskell-sat_1.1.1-1~hackage1+seereason1~bionic2.dsc Build-Info: Autobuilder-Version: 6.74 Time: 7.067817126s Date: "Thu, 03 Jan 2019 14:33:30 -0800" Memory: 32818796 kB CPU: Intel(R) Core(TM) i7-7700T CPU @ 2.90GHz CPU count: 8 OS Architecture: x86_64 CPU MHz: 800.042 CPU cache: 8192 KB Host: genie Files: 398bb9f8c42c5b6103d8b8219360ab2b 17244 haskell optional haskell-sat_1.1.1-1~hackage1+seereason1~bionic2.tar.xz 895b276420a8f716dd7c3e84dec894ec 372580 misc optional haskell-sat-utils_1.1.1-1~hackage1+seereason1~bionic2_amd64.deb ce9ff3dafc92727093f188dba0b2d095 8867 haskell optional haskell-sat_1.1.1-1~hackage1+seereason1~bionic2_amd64.buildinfo e6e3d502dcfdb1696d33d70f166929f4 2246 haskell optional haskell-sat_1.1.1-1~hackage1+seereason1~bionic2.dsc