Format: 1.8
Date: Tue, 24 Mar 2015 19:00:06 -0700
Source: haskell-incremental-sat-solver
Binary: libghc-incremental-sat-solver-dev libghc-incremental-sat-solver-prof libghc-incremental-sat-solver-doc
Architecture: source all amd64
Version: 0.1.7-1~hackage1+seereason5~precise16
Distribution: precise-seereason
Urgency: low
Maintainer: David Fox <dsf@seereason.com>
Changed-By: SeeReason Autobuilder <partners@seereason.com>
Description:
 libghc-incremental-sat-solver-dev - Simple, Incremental SAT Solving as a Library
 libghc-incremental-sat-solver-doc - Simple, Incremental SAT Solving as a Library
 libghc-incremental-sat-solver-prof - Simple, Incremental SAT Solving as a Library
Changes:
 haskell-incremental-sat-solver (0.1.7-1~hackage1+seereason5~precise16) precise-seereason; urgency=low
 .
   * Debianization generated by cabal-debian
   * deb-dir revision: DebDir (Hackage "incremental-sat-solver") (Darcs "http://src.seereason.com/haskell-incremental-sat-solver-debian") (with /proc mounted)
Checksums-Sha1:
 9ab73aa4462c7838097056eae576f6ecb4bc5d0f 6107 haskell-incremental-sat-solver_0.1.7-1~hackage1+seereason5~precise16.tar.gz
 b8cea09f10f9f4480b5bd373cf3d6eb93a96b8aa 42940 libghc-incremental-sat-solver-doc_0.1.7-1~hackage1+seereason5~precise16_all.deb
 e6d115afd2a37371f2ed661a893bb41084f4fe16 61986 libghc-incremental-sat-solver-dev_0.1.7-1~hackage1+seereason5~precise16_amd64.deb
 e3d22dfebf11e662e590a84320010620f6ccaad3 51130 libghc-incremental-sat-solver-prof_0.1.7-1~hackage1+seereason5~precise16_amd64.deb
 4a0f6002a6bc030991b2eea167ccf62d6eaf7b5b 2395 haskell-incremental-sat-solver_0.1.7-1~hackage1+seereason5~precise16.dsc
Checksums-Sha256:
 4457c1ce95bd7ed0096e9f88986f1a26c522faacefd6c7fd538dcf92e94cca15 6107 haskell-incremental-sat-solver_0.1.7-1~hackage1+seereason5~precise16.tar.gz
 8609fc1e1fb5b895188d8ef810dbbec1f1a28a8daf663c9267753e3c9a5da878 42940 libghc-incremental-sat-solver-doc_0.1.7-1~hackage1+seereason5~precise16_all.deb
 e814440df5eb06efe72faa84d79edfdfd77c773b70633465ea057b04545703ac 61986 libghc-incremental-sat-solver-dev_0.1.7-1~hackage1+seereason5~precise16_amd64.deb
 c8dc15f0374f332e327db6f4b4112dd05d8217b909fac2dcf7e80d23e858ead5 51130 libghc-incremental-sat-solver-prof_0.1.7-1~hackage1+seereason5~precise16_amd64.deb
 7a00c88df74237b9b66aa5b91032bcb61ca4caa504ee56012ab0b037f4e9dff4 2395 haskell-incremental-sat-solver_0.1.7-1~hackage1+seereason5~precise16.dsc
Build-Info:
 Autobuilder-Version: 6.70.2
 Time: 8.986662s
 Date: "Tue, 24 Mar 2015 19:00:15 -0700"
 Memory: 16308432 kB
 CPU: Intel(R) Core(TM) i7-4790S CPU @ 3.20GHz
 CPU count: 8
 OS Architecture: x86_64
 CPU MHz: 800.000
 CPU cache: 8192 KB
 Host: trusty
Files:
 c30220d821fd21c9f9c2fca7f4036014 6107 misc optional haskell-incremental-sat-solver_0.1.7-1~hackage1+seereason5~precise16.tar.gz
 ca90d9b97f978d03bc01e2996e4da99f 42940 doc optional libghc-incremental-sat-solver-doc_0.1.7-1~hackage1+seereason5~precise16_all.deb
 d1ee1ee01c6d3649dd9238fbd23c02bd 61986 haskell optional libghc-incremental-sat-solver-dev_0.1.7-1~hackage1+seereason5~precise16_amd64.deb
 dc92cebdddd87fc1ce48a4efd37839e2 51130 haskell optional libghc-incremental-sat-solver-prof_0.1.7-1~hackage1+seereason5~precise16_amd64.deb
 779edba7c8aeb2feba8d17d218e92119 2395 misc optional haskell-incremental-sat-solver_0.1.7-1~hackage1+seereason5~precise16.dsc