Your message dated Fri, 16 Apr 2010 10:17:17 +0000
with message-id <[email protected]>
and subject line Bug#577892: fixed in agda 2.2.6-6
has caused the Debian Bug report #577892,
regarding agda: FTBFS: Unsatisfiable build-dependency: haskell-zlib-doc(inst
~*=PROVIDED=*= ! >= wanted 0.4.0.1)
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
577892: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=577892
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: agda
Version: 2.2.6-5
Severity: serious
Tags: squeeze sid
User: [email protected]
Usertags: qa-ftbfs-20100415 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part:
> ** Using build dependencies supplied by package:
> Build-Depends: debhelper (>= 7.0), haskell-devscripts (>= 0.7), cdbs (>>
> 0.4.58), ghc6, libghc6-quickcheck2-dev (>= 2.1.0.2), libghc6-quickcheck2-dev
> (<< 2.2.0.0), libghc6-binary-dev (>= 0.4.4), libghc6-binary-dev (<< 0.6),
> libghc6-haskeline-dev (>= 0.3), libghc6-haskeline-dev (<< 0.7),
> libghc6-haskell-src-dev (>= 1.0.1.1), libghc6-haskell-src-dev (<< 2),
> libghc6-mtl-dev (>= 1.1), libghc6-mtl-dev (<< 2), libghc6-xhtml-dev (>=
> 3000.2), libghc6-xhtml-dev (<< 3000.3), libghc6-zlib-dev (>= 0.4.0.1),
> libghc6-zlib-dev (<< 1), happy (>= 1.15), happy (<< 2), alex (>= 2.0.1), alex
> (<< 3), libncurses5-dev
> Build-Depends-Indep: ghc6-doc, libghc6-quickcheck2-doc (>= 2.1.0.2),
> libghc6-quickcheck2-doc (<< 2.2.0.0), libghc6-binary-doc (>= 0.4.4),
> libghc6-binary-doc (<< 0.6), libghc6-haskeline-doc (>= 0.3),
> libghc6-haskeline-doc (<< 0.7), libghc6-haskell-src-doc (>= 1.0.1.1),
> libghc6-haskell-src-doc (<< 2), libghc6-mtl-doc (>= 1.1), libghc6-mtl-doc (<<
> 2), libghc6-terminfo-doc, libghc6-xhtml-doc (>= 3000.2), libghc6-xhtml-doc
> (<< 3000.3), haskell-zlib-doc (>= 0.4.0.1), haskell-zlib-doc (<< 1)
>
> ┌──────────────────────────────────────────────────────────────────────────────┐
> │ Install build dependencies (internal resolver)
> │
> └──────────────────────────────────────────────────────────────────────────────┘
>
> Checking for already installed source dependencies...
> debhelper: missing
> Using default version 7.4.17
> haskell-devscripts: missing
> Using default version 0.7.8
> cdbs: missing
> Using default version 0.4.81
> ghc6: missing
> libghc6-quickcheck2-dev: missing
> Using default version 2.1.0.2-3+b1
> libghc6-quickcheck2-dev: missing
> Using default version 2.1.0.2-3+b1
> libghc6-binary-dev: missing
> Using default version 0.5.0.2-1
> libghc6-binary-dev: missing
> Using default version 0.5.0.2-1
> libghc6-haskeline-dev: missing
> Using default version 0.6.2.2-1
> libghc6-haskeline-dev: missing
> Using default version 0.6.2.2-1
> libghc6-haskell-src-dev: missing
> Using default version 1.0.1.3-2+b1
> libghc6-haskell-src-dev: missing
> Using default version 1.0.1.3-2+b1
> libghc6-mtl-dev: missing
> Using default version 1.1.0.2-10+b1
> libghc6-mtl-dev: missing
> Using default version 1.1.0.2-10+b1
> libghc6-xhtml-dev: missing
> Using default version 3000.2.0.1-6+b1
> libghc6-xhtml-dev: missing
> Using default version 3000.2.0.1-6+b1
> libghc6-zlib-dev: missing
> Using default version 0.5.2.0-3
> libghc6-zlib-dev: missing
> Using default version 0.5.2.0-3
> happy: missing
> Using default version 1.18.4-2
> happy: missing
> Using default version 1.18.4-2
> alex: missing
> Using default version 2.3.3-1
> alex: missing
> Using default version 2.3.3-1
> libncurses5-dev: missing
> ghc6-doc: missing
> libghc6-quickcheck2-doc: missing
> Using default version 2.1.0.2-3
> libghc6-quickcheck2-doc: missing
> Using default version 2.1.0.2-3
> libghc6-binary-doc: missing
> Using default version 0.5.0.2-1
> libghc6-binary-doc: missing
> Using default version 0.5.0.2-1
> libghc6-haskeline-doc: missing
> Using default version 0.6.2.2-1
> libghc6-haskeline-doc: missing
> Using default version 0.6.2.2-1
> libghc6-haskell-src-doc: missing
> Using default version 1.0.1.3-2
> libghc6-haskell-src-doc: missing
> Using default version 1.0.1.3-2
> libghc6-mtl-doc: missing
> Using default version 1.1.0.2-10
> libghc6-mtl-doc: missing
> Using default version 1.1.0.2-10
> libghc6-terminfo-doc: missing
> libghc6-xhtml-doc: missing
> Using default version 3000.2.0.1-6
> libghc6-xhtml-doc: missing
> Using default version 3000.2.0.1-6
> haskell-zlib-doc: missing
> haskell-zlib-doc: missing
> Checking for source dependency conflicts...
> Installing positive dependencies: debhelper haskell-devscripts cdbs ghc6
> libghc6-quickcheck2-dev libghc6-quickcheck2-dev libghc6-binary-dev
> libghc6-binary-dev libghc6-haskeline-dev libghc6-haskeline-dev
> libghc6-haskell-src-dev libghc6-haskell-src-dev libghc6-mtl-dev
> libghc6-mtl-dev libghc6-xhtml-dev libghc6-xhtml-dev libghc6-zlib-dev
> libghc6-zlib-dev happy happy alex alex libncurses5-dev ghc6-doc
> libghc6-quickcheck2-doc libghc6-quickcheck2-doc libghc6-binary-doc
> libghc6-binary-doc libghc6-haskeline-doc libghc6-haskeline-doc
> libghc6-haskell-src-doc libghc6-haskell-src-doc libghc6-mtl-doc
> libghc6-mtl-doc libghc6-terminfo-doc libghc6-xhtml-doc libghc6-xhtml-doc
> haskell-zlib-doc haskell-zlib-doc
> Reading package lists...
> Building dependency tree...
> Reading state information...
> Note, selecting libghc6-zlib-doc instead of haskell-zlib-doc
> Note, selecting libghc6-zlib-doc instead of haskell-zlib-doc
> The following extra packages will be installed:
> bsdmainutils dctrl-tools file gettext gettext-base groff-base hscolour
> html-xml-utils html2text intltool-debian libbsd-dev libbsd0 libcroco3
> libffi-dev libffi5 libghc6-zlib-doc libglib2.0-0 libgmp3-dev libgmpxx4ldbl
> libmagic1 libpcre3 libxml2 man-db po-debconf xutils-dev zlib1g-dev
> Suggested packages:
> wamerican wordlist whois vacation devscripts doc-base debtags dh-make
> gettext-doc ghc6-prof haskell-doc groff info-browser libghc6-binary-prof
> libghc6-haskeline-prof libghc6-haskell-src-prof libghc6-mtl-prof
> libghc6-quickcheck2-prof libghc6-terminfo-dev libghc6-xhtml-prof
> libghc6-zlib-prof libgmp3-doc libmpfr-dev www-browser libmail-box-perl
> Recommended packages:
> autotools-dev curl wget lynx autopoint libglib2.0-data shared-mime-info
> xml-core libmail-sendmail-perl
> The following NEW packages will be installed:
> alex bsdmainutils cdbs dctrl-tools debhelper file gettext gettext-base ghc6
> ghc6-doc groff-base happy haskell-devscripts hscolour html-xml-utils
> html2text intltool-debian libbsd-dev libbsd0 libcroco3 libffi-dev libffi5
> libghc6-binary-dev libghc6-binary-doc libghc6-haskeline-dev
> libghc6-haskeline-doc libghc6-haskell-src-dev libghc6-haskell-src-doc
> libghc6-mtl-dev libghc6-mtl-doc libghc6-quickcheck2-dev
> libghc6-quickcheck2-doc libghc6-terminfo-doc libghc6-xhtml-dev
> libghc6-xhtml-doc libghc6-zlib-dev libghc6-zlib-doc libglib2.0-0 libgmp3-dev
> libgmpxx4ldbl libmagic1 libncurses5-dev libpcre3 libxml2 man-db po-debconf
> xutils-dev zlib1g-dev
> 0 upgraded, 48 newly installed, 0 to remove and 0 not upgraded.
> Need to get 94.4MB of archives.
> After this operation, 556MB of additional disk space will be used.
> WARNING: The following packages cannot be authenticated!
> bsdmainutils groff-base man-db libmagic1 file gettext-base libpcre3 libxml2
> html2text libglib2.0-0 libcroco3 gettext intltool-debian po-debconf
> debhelper cdbs dctrl-tools libgmpxx4ldbl libgmp3-dev libffi5 libffi-dev
> libbsd0 libbsd-dev ghc6 ghc6-doc libghc6-binary-dev libghc6-binary-doc
> libghc6-mtl-dev libghc6-haskeline-dev libghc6-haskeline-doc
> libghc6-haskell-src-dev libghc6-haskell-src-doc libghc6-mtl-doc
> libghc6-quickcheck2-doc libghc6-terminfo-doc libghc6-xhtml-dev
> libghc6-xhtml-doc libncurses5-dev xutils-dev zlib1g-dev alex happy
> html-xml-utils hscolour haskell-devscripts libghc6-quickcheck2-dev
> libghc6-zlib-dev libghc6-zlib-doc
> Authentication warning overridden.
> Get:1 http://localhost sid/main bsdmainutils 8.0.10 [204kB]
> Get:2 http://localhost sid/main groff-base 1.20.1-9 [1160kB]
> Get:3 http://localhost sid/main man-db 2.5.7-2 [1499kB]
> Get:4 http://localhost sid/main libmagic1 5.04-2 [232kB]
> Get:5 http://localhost sid/main file 5.04-2 [48.9kB]
> Get:6 http://localhost sid/main gettext-base 0.17-10 [133kB]
> Get:7 http://localhost sid/main libpcre3 7.8-3 [215kB]
> Get:8 http://localhost sid/main libxml2 2.7.7.dfsg-2 [871kB]
> Get:9 http://localhost sid/main html2text 1.3.2a-14 [103kB]
> Get:10 http://localhost sid/main libglib2.0-0 2.24.0-1 [1115kB]
> Get:11 http://localhost sid/main libcroco3 0.6.2-1 [125kB]
> Get:12 http://localhost sid/main gettext 0.17-10 [2513kB]
> Get:13 http://localhost sid/main intltool-debian 0.35.0+20060710.1 [30.8kB]
> Get:14 http://localhost sid/main po-debconf 1.0.16 [224kB]
> Get:15 http://localhost sid/main debhelper 7.4.17 [465kB]
> Get:16 http://localhost sid/main cdbs 0.4.81 [1241kB]
> Get:17 http://localhost sid/main dctrl-tools 2.14 [116kB]
> Get:18 http://localhost sid/main libgmpxx4ldbl 2:4.3.2+dfsg-1 [18.8kB]
> Get:19 http://localhost sid/main libgmp3-dev 2:4.3.2+dfsg-1 [667kB]
> Get:20 http://localhost sid/main libffi5 3.0.9-1 [19.9kB]
> Get:21 http://localhost sid/main libffi-dev 3.0.9-1 [102kB]
> Get:22 http://localhost sid/main libbsd0 0.2.0-1 [41.9kB]
> Get:23 http://localhost sid/main libbsd-dev 0.2.0-1 [95.1kB]
> Get:24 http://localhost sid/main ghc6 6.12.1-12 [67.5MB]
> Get:25 http://localhost sid/main ghc6-doc 6.12.1-12 [8352kB]
> Get:26 http://localhost sid/main libghc6-binary-dev 0.5.0.2-1 [206kB]
> Get:27 http://localhost sid/main libghc6-binary-doc 0.5.0.2-1 [73.3kB]
> Get:28 http://localhost sid/main libghc6-mtl-dev 1.1.0.2-10+b1 [209kB]
> Get:29 http://localhost sid/main libghc6-haskeline-dev 0.6.2.2-1 [795kB]
> Get:30 http://localhost sid/main libghc6-haskeline-doc 0.6.2.2-1 [95.7kB]
> Get:31 http://localhost sid/main libghc6-haskell-src-dev 1.0.1.3-2+b1 [1010kB]
> Get:32 http://localhost sid/main libghc6-haskell-src-doc 1.0.1.3-2 [121kB]
> Get:33 http://localhost sid/main libghc6-mtl-doc 1.1.0.2-10 [78.0kB]
> Get:34 http://localhost sid/main libghc6-quickcheck2-doc 2.1.0.2-3 [78.8kB]
> Get:35 http://localhost sid/main libghc6-terminfo-doc 0.3.0.2-3 [32.3kB]
> Get:36 http://localhost sid/main libghc6-xhtml-dev 3000.2.0.1-6+b1 [226kB]
> Get:37 http://localhost sid/main libghc6-xhtml-doc 3000.2.0.1-6 [76.9kB]
> Get:38 http://localhost sid/main libncurses5-dev 5.7+20100313-2 [1632kB]
> Get:39 http://localhost sid/main xutils-dev 1:7.5+2 [340kB]
> Get:40 http://localhost sid/main zlib1g-dev 1:1.2.3.4.dfsg-3 [192kB]
> Get:41 http://localhost sid/main alex 2.3.3-1 [313kB]
> Get:42 http://localhost sid/main happy 1.18.4-2 [536kB]
> Get:43 http://localhost sid/main html-xml-utils 5.5-1 [487kB]
> Get:44 http://localhost sid/main hscolour 1.16-1 [279kB]
> Get:45 http://localhost sid/main haskell-devscripts 0.7.8 [26.5kB]
> Get:46 http://localhost sid/main libghc6-quickcheck2-dev 2.1.0.2-3+b1 [393kB]
> Get:47 http://localhost sid/main libghc6-zlib-dev 0.5.2.0-3 [79.9kB]
> Get:48 http://localhost sid/main libghc6-zlib-doc 0.5.2.0-3 [62.2kB]
>
Extracting templates from packages: 62%
Extracting templates from packages: 100%
> Preconfiguring packages ...
> Fetched 94.4MB in 1s (62.5MB/s)
> Selecting previously deselected package bsdmainutils.
> (Reading database ... 10013 files and directories currently installed.)
> Unpacking bsdmainutils (from .../bsdmainutils_8.0.10_amd64.deb) ...
> Selecting previously deselected package groff-base.
> Unpacking groff-base (from .../groff-base_1.20.1-9_amd64.deb) ...
> Selecting previously deselected package man-db.
> Unpacking man-db (from .../man-db_2.5.7-2_amd64.deb) ...
> Selecting previously deselected package libmagic1.
> Unpacking libmagic1 (from .../libmagic1_5.04-2_amd64.deb) ...
> Selecting previously deselected package file.
> Unpacking file (from .../archives/file_5.04-2_amd64.deb) ...
> Selecting previously deselected package gettext-base.
> Unpacking gettext-base (from .../gettext-base_0.17-10_amd64.deb) ...
> Selecting previously deselected package libpcre3.
> Unpacking libpcre3 (from .../libpcre3_7.8-3_amd64.deb) ...
> Selecting previously deselected package libxml2.
> Unpacking libxml2 (from .../libxml2_2.7.7.dfsg-2_amd64.deb) ...
> Selecting previously deselected package html2text.
> Unpacking html2text (from .../html2text_1.3.2a-14_amd64.deb) ...
> Selecting previously deselected package libglib2.0-0.
> Unpacking libglib2.0-0 (from .../libglib2.0-0_2.24.0-1_amd64.deb) ...
> Selecting previously deselected package libcroco3.
> Unpacking libcroco3 (from .../libcroco3_0.6.2-1_amd64.deb) ...
> Selecting previously deselected package gettext.
> Unpacking gettext (from .../gettext_0.17-10_amd64.deb) ...
> Selecting previously deselected package intltool-debian.
> Unpacking intltool-debian (from
> .../intltool-debian_0.35.0+20060710.1_all.deb) ...
> Selecting previously deselected package po-debconf.
> Unpacking po-debconf (from .../po-debconf_1.0.16_all.deb) ...
> Selecting previously deselected package debhelper.
> Unpacking debhelper (from .../debhelper_7.4.17_all.deb) ...
> Selecting previously deselected package cdbs.
> Unpacking cdbs (from .../archives/cdbs_0.4.81_all.deb) ...
> Selecting previously deselected package dctrl-tools.
> Unpacking dctrl-tools (from .../dctrl-tools_2.14_amd64.deb) ...
> Selecting previously deselected package libgmpxx4ldbl.
> Unpacking libgmpxx4ldbl (from .../libgmpxx4ldbl_2%3a4.3.2+dfsg-1_amd64.deb)
> ...
> Selecting previously deselected package libgmp3-dev.
> Unpacking libgmp3-dev (from .../libgmp3-dev_2%3a4.3.2+dfsg-1_amd64.deb) ...
> Selecting previously deselected package libffi5.
> Unpacking libffi5 (from .../libffi5_3.0.9-1_amd64.deb) ...
> Selecting previously deselected package libffi-dev.
> Unpacking libffi-dev (from .../libffi-dev_3.0.9-1_amd64.deb) ...
> Selecting previously deselected package libbsd0.
> Unpacking libbsd0 (from .../libbsd0_0.2.0-1_amd64.deb) ...
> Selecting previously deselected package libbsd-dev.
> Unpacking libbsd-dev (from .../libbsd-dev_0.2.0-1_amd64.deb) ...
> Selecting previously deselected package ghc6.
> Unpacking ghc6 (from .../ghc6_6.12.1-12_amd64.deb) ...
> Selecting previously deselected package ghc6-doc.
> Unpacking ghc6-doc (from .../ghc6-doc_6.12.1-12_all.deb) ...
> Selecting previously deselected package libghc6-binary-dev.
> Unpacking libghc6-binary-dev (from
> .../libghc6-binary-dev_0.5.0.2-1_amd64.deb) ...
> Selecting previously deselected package libghc6-binary-doc.
> Unpacking libghc6-binary-doc (from .../libghc6-binary-doc_0.5.0.2-1_all.deb)
> ...
> Selecting previously deselected package libghc6-mtl-dev.
> Unpacking libghc6-mtl-dev (from .../libghc6-mtl-dev_1.1.0.2-10+b1_amd64.deb)
> ...
> Selecting previously deselected package libghc6-haskeline-dev.
> Unpacking libghc6-haskeline-dev (from
> .../libghc6-haskeline-dev_0.6.2.2-1_amd64.deb) ...
> Selecting previously deselected package libghc6-haskeline-doc.
> Unpacking libghc6-haskeline-doc (from
> .../libghc6-haskeline-doc_0.6.2.2-1_all.deb) ...
> Selecting previously deselected package libghc6-haskell-src-dev.
> Unpacking libghc6-haskell-src-dev (from
> .../libghc6-haskell-src-dev_1.0.1.3-2+b1_amd64.deb) ...
> Selecting previously deselected package libghc6-haskell-src-doc.
> Unpacking libghc6-haskell-src-doc (from
> .../libghc6-haskell-src-doc_1.0.1.3-2_all.deb) ...
> Selecting previously deselected package libghc6-mtl-doc.
> Unpacking libghc6-mtl-doc (from .../libghc6-mtl-doc_1.1.0.2-10_all.deb) ...
> Selecting previously deselected package libghc6-quickcheck2-doc.
> Unpacking libghc6-quickcheck2-doc (from
> .../libghc6-quickcheck2-doc_2.1.0.2-3_all.deb) ...
> Selecting previously deselected package libghc6-terminfo-doc.
> Unpacking libghc6-terminfo-doc (from
> .../libghc6-terminfo-doc_0.3.0.2-3_all.deb) ...
> Selecting previously deselected package libghc6-xhtml-dev.
> Unpacking libghc6-xhtml-dev (from
> .../libghc6-xhtml-dev_3000.2.0.1-6+b1_amd64.deb) ...
> Selecting previously deselected package libghc6-xhtml-doc.
> Unpacking libghc6-xhtml-doc (from .../libghc6-xhtml-doc_3000.2.0.1-6_all.deb)
> ...
> Selecting previously deselected package libncurses5-dev.
> Unpacking libncurses5-dev (from .../libncurses5-dev_5.7+20100313-2_amd64.deb)
> ...
> Selecting previously deselected package xutils-dev.
> Unpacking xutils-dev (from .../xutils-dev_1%3a7.5+2_amd64.deb) ...
> Selecting previously deselected package zlib1g-dev.
> Unpacking zlib1g-dev (from .../zlib1g-dev_1%3a1.2.3.4.dfsg-3_amd64.deb) ...
> Selecting previously deselected package alex.
> Unpacking alex (from .../alex_2.3.3-1_amd64.deb) ...
> Selecting previously deselected package happy.
> Unpacking happy (from .../happy_1.18.4-2_amd64.deb) ...
> Selecting previously deselected package html-xml-utils.
> Unpacking html-xml-utils (from .../html-xml-utils_5.5-1_amd64.deb) ...
> Selecting previously deselected package hscolour.
> Unpacking hscolour (from .../hscolour_1.16-1_amd64.deb) ...
> Selecting previously deselected package haskell-devscripts.
> Unpacking haskell-devscripts (from .../haskell-devscripts_0.7.8_all.deb) ...
> Selecting previously deselected package libghc6-quickcheck2-dev.
> Unpacking libghc6-quickcheck2-dev (from
> .../libghc6-quickcheck2-dev_2.1.0.2-3+b1_amd64.deb) ...
> Selecting previously deselected package libghc6-zlib-dev.
> Unpacking libghc6-zlib-dev (from .../libghc6-zlib-dev_0.5.2.0-3_amd64.deb) ...
> Selecting previously deselected package libghc6-zlib-doc.
> Unpacking libghc6-zlib-doc (from .../libghc6-zlib-doc_0.5.2.0-3_all.deb) ...
> Processing triggers for install-info ...
> Setting up bsdmainutils (8.0.10) ...
> update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write
> (write) in auto mode.
> update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from)
> in auto mode.
> Setting up groff-base (1.20.1-9) ...
> Setting up man-db (2.5.7-2) ...
> Building database of manual pages ...
> Setting up libmagic1 (5.04-2) ...
> Setting up file (5.04-2) ...
> Setting up gettext-base (0.17-10) ...
> Setting up libpcre3 (7.8-3) ...
> Setting up libxml2 (2.7.7.dfsg-2) ...
> Setting up html2text (1.3.2a-14) ...
> Setting up libglib2.0-0 (2.24.0-1) ...
> Setting up libcroco3 (0.6.2-1) ...
> Setting up gettext (0.17-10) ...
> Setting up intltool-debian (0.35.0+20060710.1) ...
> Setting up po-debconf (1.0.16) ...
> Setting up debhelper (7.4.17) ...
> Setting up cdbs (0.4.81) ...
> Setting up dctrl-tools (2.14) ...
> Setting up libgmpxx4ldbl (2:4.3.2+dfsg-1) ...
> Setting up libgmp3-dev (2:4.3.2+dfsg-1) ...
> Setting up libffi5 (3.0.9-1) ...
> Setting up libffi-dev (3.0.9-1) ...
> Setting up libbsd0 (0.2.0-1) ...
> Setting up libbsd-dev (0.2.0-1) ...
> Setting up ghc6 (6.12.1-12) ...
> update-alternatives: using /usr/bin/runghc6 to provide /usr/bin/runhaskell
> (runhaskell) in auto mode.
> update-alternatives: using /usr/bin/ghc6 to provide /usr/bin/haskell-compiler
> (haskell-compiler) in auto mode.
> update-alternatives: warning: skip creation of /usr/bin/hasktags because
> associated file /usr/lib/ghc-6.12.1/bin/hasktags (of link group ghc) doesn't
> exist.
> update-alternatives: using /usr/lib/ghc-6.12.1/bin/ghc to provide
> /usr/bin/ghc (ghc) in auto mode.
> Setting up ghc6-doc (6.12.1-12) ...
> Setting up libghc6-binary-dev (0.5.0.2-1) ...
> Setting up libghc6-binary-doc (0.5.0.2-1) ...
> Setting up libghc6-mtl-dev (1.1.0.2-10+b1) ...
> Setting up libghc6-haskeline-dev (0.6.2.2-1) ...
> Setting up libghc6-haskeline-doc (0.6.2.2-1) ...
> Setting up libghc6-haskell-src-dev (1.0.1.3-2+b1) ...
> Setting up libghc6-haskell-src-doc (1.0.1.3-2) ...
> Setting up libghc6-mtl-doc (1.1.0.2-10) ...
> Setting up libghc6-quickcheck2-doc (2.1.0.2-3) ...
> Setting up libghc6-terminfo-doc (0.3.0.2-3) ...
> Setting up libghc6-xhtml-dev (3000.2.0.1-6+b1) ...
> Setting up libghc6-xhtml-doc (3000.2.0.1-6) ...
> Setting up libncurses5-dev (5.7+20100313-2) ...
> Setting up xutils-dev (1:7.5+2) ...
> Setting up zlib1g-dev (1:1.2.3.4.dfsg-3) ...
> Setting up alex (2.3.3-1) ...
> Setting up happy (1.18.4-2) ...
> Setting up html-xml-utils (5.5-1) ...
> Setting up hscolour (1.16-1) ...
> Setting up haskell-devscripts (0.7.8) ...
> Setting up libghc6-quickcheck2-dev (2.1.0.2-3+b1) ...
> Setting up libghc6-zlib-dev (0.5.2.0-3) ...
> Setting up libghc6-zlib-doc (0.5.2.0-3) ...
> Removing negative dependencies:
> Checking correctness of source dependencies...
> After installing, the following source dependencies are still unsatisfied:
> haskell-zlib-doc(inst ~*=PROVIDED=*= ! >= wanted 0.4.0.1)
The full build log is available from:
http://people.debian.org/~lucas/logs/2010/04/15/agda_2.2.6-5_lsid64.buildlog
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
About the archive rebuild: The rebuild was done on about 50 AMD64 nodes
of the Grid'5000 platform, using a clean chroot. Internet was not
accessible from the build systems.
--
| Lucas Nussbaum
| [email protected] http://www.lucas-nussbaum.net/ |
| jabber: [email protected] GPG: 1024D/023B3F4F |
--- End Message ---
--- Begin Message ---
Source: agda
Source-Version: 2.2.6-6
We believe that the bug you reported is fixed in the latest version of
agda, which is due to be installed in the Debian FTP archive:
agda-mode_2.2.6-6_all.deb
to main/a/agda/agda-mode_2.2.6-6_all.deb
agda_2.2.6-6.debian.tar.gz
to main/a/agda/agda_2.2.6-6.debian.tar.gz
agda_2.2.6-6.dsc
to main/a/agda/agda_2.2.6-6.dsc
libghc6-agda-dev_2.2.6-6_amd64.deb
to main/a/agda/libghc6-agda-dev_2.2.6-6_amd64.deb
libghc6-agda-doc_2.2.6-6_all.deb
to main/a/agda/libghc6-agda-doc_2.2.6-6_all.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Joachim Breitner <[email protected]> (supplier of updated agda package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 16 Apr 2010 11:43:24 +0200
Source: agda
Binary: libghc6-agda-dev libghc6-agda-doc agda-mode
Architecture: source all amd64
Version: 2.2.6-6
Distribution: unstable
Urgency: low
Maintainer: Debian Haskell Group
<[email protected]>
Changed-By: Joachim Breitner <[email protected]>
Description:
agda-mode - the emacs mode for Agda
libghc6-agda-dev - a dependently typed functional programming language -
development
libghc6-agda-doc - a dependently typed functional programming language -
documentati
Closes: 577892
Changes:
agda (2.2.6-6) unstable; urgency=low
.
* Fix FTBFS by fixing zlib doc package name. (Closes: #577892)
* Convert to 3.0 (quilt)
Checksums-Sha1:
c33263d326cbcb9f60a27974a7bf0839b42c8587 2294 agda_2.2.6-6.dsc
bc589d699058c57ebf3b4032c517d29533b33f1c 5253 agda_2.2.6-6.debian.tar.gz
165d03ddd91fa5c8fc84424cd1684cf2b92f8323 1098850
libghc6-agda-doc_2.2.6-6_all.deb
29781d7e8b29a2b2213418470ea064e3208a04c7 39928 agda-mode_2.2.6-6_all.deb
9c7583aaf11052bec0b1f80c206f739ede1f5c90 10052780
libghc6-agda-dev_2.2.6-6_amd64.deb
Checksums-Sha256:
e65b8353fa07932d1719fd7159a7df2e24c688710571794fdb545062fc1be52e 2294
agda_2.2.6-6.dsc
57b5407741d91c08c5b4e624c4481ea09aa0b838bb3af7171a0dc09eaf8ab161 5253
agda_2.2.6-6.debian.tar.gz
6e0c908fc69f7dac90586411ae929e5681dc68097395a4ba22f56a84471476e4 1098850
libghc6-agda-doc_2.2.6-6_all.deb
baf0ee038e65fb005281d106ebfa6eefe50b177c4ade73949495dc873ed2919d 39928
agda-mode_2.2.6-6_all.deb
fd351a13d7d3f0183794f44e6ecc63f20ea65736ee965b66a9a2b651d72dcff1 10052780
libghc6-agda-dev_2.2.6-6_amd64.deb
Files:
eaa6f34b6d418a2af0a92054b8b5c50f 2294 haskell extra agda_2.2.6-6.dsc
feddbdd9da6c4d5c337e0a0a09ed04a5 5253 haskell extra agda_2.2.6-6.debian.tar.gz
87800b999f988a8838de77e978ee20b6 1098850 doc extra
libghc6-agda-doc_2.2.6-6_all.deb
4424ac0fc6028ac452d6acd5423fe514 39928 misc extra agda-mode_2.2.6-6_all.deb
4f31779080b74e499176fb8942059291 10052780 haskell extra
libghc6-agda-dev_2.2.6-6_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkvINTUACgkQ9ijrk0dDIGxnzQCcDgDMy8Kp8OcTvTkruvIOTEAk
t78AnimdNFKfbPdgrqv+8omSlsovIopZ
=GD8L
-----END PGP SIGNATURE-----
--- End Message ---
