Format: 1.8 Date: Thu, 11 Apr 2013 14:13:10 -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+seereason2~bpo51+1 Distribution: squeeze-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+seereason2~bpo51+1) squeeze-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 6d11c6fa95286c6943f8f0516875dd088109669f 2455 haskell-incremental-sat-solver_0.1.7-1~hackage1+seereason2~bpo51+1.diff.gz 538b3140773f6e3a7a6a631be965df80c8e86ef6 40338 libghc-incremental-sat-solver-doc_0.1.7-1~hackage1+seereason2~bpo51+1_all.deb 5f69f123945b9330848a8a997868902e611da43a 59654 libghc-incremental-sat-solver-dev_0.1.7-1~hackage1+seereason2~bpo51+1_amd64.deb 7d09d4bb31ee473ffc513cb0859e14117f5dcfb3 58072 libghc-incremental-sat-solver-prof_0.1.7-1~hackage1+seereason2~bpo51+1_amd64.deb 0f344bd946ab052e4dbe829fbc5137b70235f34e 2545 haskell-incremental-sat-solver_0.1.7-1~hackage1+seereason2~bpo51+1.dsc Checksums-Sha256: 5b30d2e18cb17e22bc3aa9987908e3a044acdd7d367f8d44f328529a021e2cce 4816 haskell-incremental-sat-solver_0.1.7.orig.tar.gz ac86d8dd2afac56b53c3c51b813f0f64d5ab012f97c1dc9ca27742d521b1746a 2455 haskell-incremental-sat-solver_0.1.7-1~hackage1+seereason2~bpo51+1.diff.gz aa8acc40c6b38fc4f671e378b80dfc6415ae08a70f103169364612174d04f55d 40338 libghc-incremental-sat-solver-doc_0.1.7-1~hackage1+seereason2~bpo51+1_all.deb 7bd52d5b0c33091bb7ead6b00036af365023f14b7ff604a462aed26ea3db974c 59654 libghc-incremental-sat-solver-dev_0.1.7-1~hackage1+seereason2~bpo51+1_amd64.deb 0a65299435d842cb7bec037ce846417fd47ff33a9b83bf374cb860230511e4db 58072 libghc-incremental-sat-solver-prof_0.1.7-1~hackage1+seereason2~bpo51+1_amd64.deb 806be7a3ee25f783903994336cb950d27a3145f764039a16267bf4bf15b1103a 2545 haskell-incremental-sat-solver_0.1.7-1~hackage1+seereason2~bpo51+1.dsc Build-Info: Autobuilder-Version: 6.53.1 Time: 17.982436s Memory: 12297152 kB CPU: Intel(R) Core(TM) i7 CPU 920 @ 2.67GHz CPU count: 8 OS Architecture: x86_64 CPU MHz: 2668.000 CPU cache: 8192 KB Host: gene Files: 3d5f3d0bff3a92f4207631fbe9b32c36 4816 misc optional haskell-incremental-sat-solver_0.1.7.orig.tar.gz 96eae7db938ddafabb01477e1ea16046 2455 misc optional haskell-incremental-sat-solver_0.1.7-1~hackage1+seereason2~bpo51+1.diff.gz 488342d254205c6a9f2d471767275eed 40338 doc optional libghc-incremental-sat-solver-doc_0.1.7-1~hackage1+seereason2~bpo51+1_all.deb 1123868eff64d489dec724619bdf0050 59654 haskell optional libghc-incremental-sat-solver-dev_0.1.7-1~hackage1+seereason2~bpo51+1_amd64.deb cd527e4941840b77ca3b3f015a3a4b43 58072 haskell optional libghc-incremental-sat-solver-prof_0.1.7-1~hackage1+seereason2~bpo51+1_amd64.deb c57bf99a97f48b53ce5adeb790e7d0d8 2545 misc optional haskell-incremental-sat-solver_0.1.7-1~hackage1+seereason2~bpo51+1.dsc