Format: 1.8 Date: Tue, 24 Apr 2012 14:23:22 -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+seereason3 Distribution: sid-seereason Urgency: low Maintainer: David Fox Changed-By: SeeReason Autobuilder 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+seereason3) sid-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") Checksums-Sha1: 03fe7c6f8d0106bee8868d7bb50914a2813fe77e 4816 haskell-incremental-sat-solver_0.1.7.orig.tar.gz 5a041f1f25e3b8c7af5f3c71a448bd1821cae951 2453 haskell-incremental-sat-solver_0.1.7-1~hackage1+seereason3.diff.gz 93eb8f948c9f91c123086c2fd9aa17069e65f0f1 38216 libghc-incremental-sat-solver-doc_0.1.7-1~hackage1+seereason3_all.deb 600987c5cc4296d3d641bf50f241a8b5b30a9dc8 60570 libghc-incremental-sat-solver-dev_0.1.7-1~hackage1+seereason3_amd64.deb e3fb36fc01538752638e61f75b22c5a68c751525 58940 libghc-incremental-sat-solver-prof_0.1.7-1~hackage1+seereason3_amd64.deb e218dcab71c2a62c26aacf949ea346c07eb6effb 2294 haskell-incremental-sat-solver_0.1.7-1~hackage1+seereason3.dsc Checksums-Sha256: 5b30d2e18cb17e22bc3aa9987908e3a044acdd7d367f8d44f328529a021e2cce 4816 haskell-incremental-sat-solver_0.1.7.orig.tar.gz 2596182119936a6a15bb77882e0a1178923140ce7ff66d98898c12d560512dcc 2453 haskell-incremental-sat-solver_0.1.7-1~hackage1+seereason3.diff.gz 85724958558d1f77876ff492fa7a700ce6f9e829bf86adff2a825c8b97a66884 38216 libghc-incremental-sat-solver-doc_0.1.7-1~hackage1+seereason3_all.deb a3706f28a001714e1c195c1628f900c805f18af2b0e83aa1eeac062c822f95d6 60570 libghc-incremental-sat-solver-dev_0.1.7-1~hackage1+seereason3_amd64.deb 14fd44f079278928df6db5da073fc67e4b5010931014d262a7a3b571eacb78ff 58940 libghc-incremental-sat-solver-prof_0.1.7-1~hackage1+seereason3_amd64.deb 532df1d7e7deebd25123540341881475a685dede295b3439109442c7ba2d27e7 2294 haskell-incremental-sat-solver_0.1.7-1~hackage1+seereason3.dsc Build-Info: Autobuilder-Version: 6.26 Time: 16.268657s 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: 3d5f3d0bff3a92f4207631fbe9b32c36 4816 misc optional haskell-incremental-sat-solver_0.1.7.orig.tar.gz 70a4ca189d4f132a55ba624f09cf01af 2453 misc optional haskell-incremental-sat-solver_0.1.7-1~hackage1+seereason3.diff.gz 5eeee669b73751433726e8127850c196 38216 doc optional libghc-incremental-sat-solver-doc_0.1.7-1~hackage1+seereason3_all.deb df5f6d8a0894246beefdb525820a3547 60570 haskell optional libghc-incremental-sat-solver-dev_0.1.7-1~hackage1+seereason3_amd64.deb c66dd4b75d1d6eae4ca3ad75d2f421b0 58940 haskell optional libghc-incremental-sat-solver-prof_0.1.7-1~hackage1+seereason3_amd64.deb 1eef9e72de7ed2ba4a93b3e0b97b82dc 2294 misc optional haskell-incremental-sat-solver_0.1.7-1~hackage1+seereason3.dsc