Format: 1.8 Date: Wed, 12 Nov 2014 16:20:19 -0800 Source: haskell-idris Binary: libghc-idris-dev libghc-idris-prof libghc-idris-doc idris Architecture: source all amd64 Version: 0.9.15.1-0+seereason1~precise1 Distribution: precise-seereason Urgency: low Maintainer: Edwin Brady Changed-By: SeeReason Autobuilder Description: idris - ${haskell:ShortDescription}${haskell:ShortBlurb} libghc-idris-dev - ${haskell:ShortDescription}${haskell:ShortBlurb} libghc-idris-doc - ${haskell:ShortDescription}${haskell:ShortBlurb} libghc-idris-prof - ${haskell:ShortDescription}${haskell:ShortBlurb} Changes: haskell-idris (0.9.15.1-0+seereason1~precise1) precise-seereason; urgency=low . * Debianization generated by cabal-debian * Built from hackage, revision: Debianize'' (Patch (Hackage "idris") "--- old/idris.cabal\t2014-10-31 05:04:00.000000000 -0700\n+++ new/idris.cabal\t2014-11-02 05:59:01.450754522 -0800\n@@ -701,7 +701,7 @@\n , filepath < 1.4\n , fingertree >= 0.1 && < 0.2\n , haskeline >= 0.7 && < 0.8\n- , lens >= 4.1.1 && < 4.5\n+ , lens >= 4.1.1 && < 4.6\n , mtl < 2.3\n , network < 2.7\n , optparse-applicative >= 0.11 && < 0.12\n--- old/idris.cabal\t2014-05-28 20:55:26.000000000 -0700\n+++ new/idris.cabal\t2014-05-29 06:41:28.288610346 -0700\n@@ -60,6 +60,26 @@\n rts/idris_stdfgn.h\n rts/libtest.c\n \n+ libs/prelude/*.ibc\n+ libs/prelude/Decidable/*.ibc\n+ libs/prelude/Prelude/*.ibc\n+ libs/base/*.ibc\n+ libs/base/Control/*.ibc\n+ libs/base/Control/Isomorphism/*.ibc\n+ libs/base/Control/Monad/*.ibc\n+ libs/base/Data/*.ibc\n+ libs/base/Data/Vect/*.ibc\n+ libs/base/Debug/*.ibc\n+ libs/base/Decidable/*.ibc\n+ libs/base/Language/*.ibc\n+ libs/base/Language/Reflection/*.ibc\n+ libs/base/Network/*.ibc\n+ libs/base/System/Concurrency/*.ibc\n+ libs/base/System/*.ibc\n+ libs/base/Syntax/*.ibc\n+ libs/effects/Effect/*.ibc\n+ libs/effects/*.ibc\n+\n Extra-source-files:\n Makefile\n config.mk\n") Nothing (with /proc mounted) Checksums-Sha1: 9eb2098898af8f8eba1b366ba8411f6a50bc4887 590037 haskell-idris_0.9.15.1-0+seereason1~precise1.tar.gz 66d2e221681d69f5b2fd9d67a6b4ea2c5b6e7727 1106050 libghc-idris-doc_0.9.15.1-0+seereason1~precise1_all.deb 5edb523a49ee2b5e45f4aee360ff5734b9a6e9c6 10523328 libghc-idris-dev_0.9.15.1-0+seereason1~precise1_amd64.deb 3382a7c6db8314a3af6f2cf4e2a058c5f48114db 9235118 libghc-idris-prof_0.9.15.1-0+seereason1~precise1_amd64.deb 33a9326ac6b822e6795ea6d1d8c68c8e91b5ba2f 20224512 idris_0.9.15.1-0+seereason1~precise1_amd64.deb b9e20322d458b4850adecbd8615c8cd408374ffe 9195 haskell-idris_0.9.15.1-0+seereason1~precise1.dsc Checksums-Sha256: de4581207cb5ef4619d765d27c9fd51270c6a6917f798168cf43b45092494138 590037 haskell-idris_0.9.15.1-0+seereason1~precise1.tar.gz 09fdee0d3f9f40e21213c89e94c7a9f64b0ce9b7829fba848ff10ba03e798aa4 1106050 libghc-idris-doc_0.9.15.1-0+seereason1~precise1_all.deb 89b88ae0d4fc702f828f6b3ff91f76225cf00466b4c070c6934b2f6107ee5c52 10523328 libghc-idris-dev_0.9.15.1-0+seereason1~precise1_amd64.deb 3acf3af47b4dab6240a1e03ef71fb2a8b8834950c93a67c9393332dc3305af66 9235118 libghc-idris-prof_0.9.15.1-0+seereason1~precise1_amd64.deb 0670b50d6b51f1d2bde4dca7d362c987a62fbb36ab721988714efdc5c5631562 20224512 idris_0.9.15.1-0+seereason1~precise1_amd64.deb cd2f9c727fe943635e9f6aaaf5dc01f50b6cf105dafd354892b3f0c9a4b84cd2 9195 haskell-idris_0.9.15.1-0+seereason1~precise1.dsc Build-Info: Autobuilder-Version: 6.70.1 Time: 520.508572s Date: "Wed, 12 Nov 2014 16:29:00 -0800" Memory: 16308408 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: dedb6588dd54756a77709027586be870 590037 haskell extra haskell-idris_0.9.15.1-0+seereason1~precise1.tar.gz e42fbbfbc59ce48a1778fce19444ff3f 1106050 doc extra libghc-idris-doc_0.9.15.1-0+seereason1~precise1_all.deb f81c799f5a3ebb48170d438cc27e9225 10523328 haskell extra libghc-idris-dev_0.9.15.1-0+seereason1~precise1_amd64.deb 7818495396cfee8fe64cfc9153721d47 9235118 haskell extra libghc-idris-prof_0.9.15.1-0+seereason1~precise1_amd64.deb 3440e28fc6524a8cf07134c1375860fb 20224512 misc extra idris_0.9.15.1-0+seereason1~precise1_amd64.deb d5fd4f0393c002b620b652f314b25af6 9195 haskell extra haskell-idris_0.9.15.1-0+seereason1~precise1.dsc