Format: 1.8 Date: Thu, 05 Jul 2018 08:54:00 -0700 Source: haskell-incremental-sat-solver Binary: libghc-incremental-sat-solver-dev libghc-incremental-sat-solver-prof libghc-incremental-sat-solver-doc Architecture: source amd64 all Version: 0.2.0-0+seereason1~bionic1 Distribution: bionic-seereason Urgency: low Maintainer: Debian Haskell Group Changed-By: SeeReason Autobuilder Description: libghc-incremental-sat-solver-dev - libghc-incremental-sat-solver-doc - libghc-incremental-sat-solver-prof - Changes: haskell-incremental-sat-solver (0.2.0-0+seereason1~bionic1) bionic-seereason; urgency=low . * Initial release * Built from hackage, revision: Debianize'' (Git "https://github.com/seereason/incremental-sat-solver" []) Nothing (with /proc mounted) Checksums-Sha1: 456a565aa5ab887ac431963b0d52505640406561 7644 haskell-incremental-sat-solver_0.2.0-0+seereason1~bionic1.tar.xz 3a677a04c3baa28afc6e30275a6bd671b5e289dd 9449 haskell-incremental-sat-solver_0.2.0-0+seereason1~bionic1_amd64.buildinfo 9ccb0c671a1cafa9b9d9dec1c97a70b2fd9f8b54 49720 libghc-incremental-sat-solver-dev_0.2.0-0+seereason1~bionic1_amd64.deb cf0fddec4c2523c95fcf994c6793d246e9030b90 51408 libghc-incremental-sat-solver-doc_0.2.0-0+seereason1~bionic1_all.deb 01a4fb2e437e63cb443e3dade537213b4143b331 43328 libghc-incremental-sat-solver-prof_0.2.0-0+seereason1~bionic1_amd64.deb 638fdb5d9d42932747ba1e5fda34077c5d3c285c 2155 haskell-incremental-sat-solver_0.2.0-0+seereason1~bionic1.dsc Checksums-Sha256: 4a10a8350c8705bae4bf1d07c9d204ac85800b2dd1b16da3791c2d4115a1e4cd 7644 haskell-incremental-sat-solver_0.2.0-0+seereason1~bionic1.tar.xz a0de3e33380ffb8765aff123cb6e5f31a5a3e385011e0f4e17c7fef2469144f1 9449 haskell-incremental-sat-solver_0.2.0-0+seereason1~bionic1_amd64.buildinfo f50fe4783784c65929289fab1dfb734cc71bc3325a0ca79c18a5517c428109e0 49720 libghc-incremental-sat-solver-dev_0.2.0-0+seereason1~bionic1_amd64.deb 000f7215ef4235d7edc6a85582ff5e1be1290991bf2163bc8edf601d1fd3c180 51408 libghc-incremental-sat-solver-doc_0.2.0-0+seereason1~bionic1_all.deb 6711c089f9a68d6ad6f75d2cd45adae5246afbeb08dd362eaae294779064e306 43328 libghc-incremental-sat-solver-prof_0.2.0-0+seereason1~bionic1_amd64.deb 46cd2e162ed6551e5e11ee47baed36d9022ac5d1129a2e08d01cc22e0d6b13c7 2155 haskell-incremental-sat-solver_0.2.0-0+seereason1~bionic1.dsc Build-Info: Autobuilder-Version: 6.75 Time: 13.168013079s Date: "Thu, 05 Jul 2018 08:54:14 -0700" Memory: 32819064 kB CPU: Intel(R) Core(TM) i7-7700T CPU @ 2.90GHz CPU count: 8 OS Architecture: x86_64 CPU MHz: 1100.000 CPU cache: 8192 KB Host: genie Files: 34b113776e9b054c91cc0e6918e239dc 7644 haskell optional haskell-incremental-sat-solver_0.2.0-0+seereason1~bionic1.tar.xz 0f1137203aa606738bb8cdecbd7a2543 9449 haskell optional haskell-incremental-sat-solver_0.2.0-0+seereason1~bionic1_amd64.buildinfo 62b30d417c69fe778c6101fc5a1945ff 49720 haskell optional libghc-incremental-sat-solver-dev_0.2.0-0+seereason1~bionic1_amd64.deb 51cc30b47805b486a1a880d4e5fa15ce 51408 doc optional libghc-incremental-sat-solver-doc_0.2.0-0+seereason1~bionic1_all.deb a1023a307b3cd5c6055afb64e12dc86a 43328 haskell optional libghc-incremental-sat-solver-prof_0.2.0-0+seereason1~bionic1_amd64.deb 73e132ac9702a1a336aa45067f701159 2155 haskell optional haskell-incremental-sat-solver_0.2.0-0+seereason1~bionic1.dsc