Your message dated Mon, 12 Mar 2012 13:32:18 +0000
with message-id <e1s75mi-0003e3...@franck.debian.org>
and subject line Bug#663048: fixed in agda 2.3.0.1-1
has caused the Debian Bug report #663048,
regarding src:agda: FTBFS with ghc 7.4 due to versioned dependencies in
configure
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 ow...@bugs.debian.org
immediately.)
--
663048: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=663048
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: src:agda
Version: 2.3.0-1+b3
Severity: serious
Justification: FTBFS
Excerpt from the build log[1]:
| for setup in Setup.lhs Setup.hs; do if test -e $setup; then ghc --make $setup
-o debian/hlibrary.setup; exit 0; fi; done
| [1 of 1] Compiling Main ( Setup.hs, Setup.o )
| Linking debian/hlibrary.setup ...
| debian/hlibrary.setup configure --ghc -v2 \
| --prefix=/usr --libdir=/usr/lib/haskell-packages/ghc/lib \
| --builddir=dist-ghc \
| --haddockdir=/usr/lib/ghc-doc/haddock/agda-2.3.0/ \
| --htmldir=/usr/share/doc/libghc-agda-doc/html/ \
| --datadir='/usr/share' --datasubdir='libghc-agda-dev'
| hConfiguring Agda-2.3.0...
| library.setup: At least the following dependencies are missing:
| array >=0.1 && <0.4,
| base >=4.2 && <4.5,
| filepath >=1.1 && <1.3,
| old-time ==1.0.*
| make: *** [dist-ghc] Error 1
| dpkg-buildpackage: error: debian/rules build gave error exit status 2
Note that we get some hints in the warnings emitted from haddock during
installation of build dependecies:
| Warning: haddock-interfaces:
/usr/lib/ghc-doc/haddock/filepath-1.3.0.0/filepath.haddock doesn't exist or
isn't a file
| Warning: haddock-html: /usr/share/doc/ghc-doc/html/libraries/filepath-1.3.0.0
doesn't exist or isn't a directory
| Warning: haddock-interfaces:
/usr/lib/ghc-doc/haddock/array-0.4.0.0/array.haddock doesn't exist or isn't a
file
| Warning: haddock-html: /usr/share/doc/ghc-doc/html/libraries/array-0.4.0.0
doesn't exist or isn't a directory
So the current agda might be incompatible with the libraries shipped
with the newer ghc. Maybe a new agda upstream version is needed to
resolve this issue.
Helmut
[1]
https://buildd.debian.org/status/fetch.php?pkg=agda&arch=amd64&ver=2.3.0-1%2Bb3&stamp=1330380181
--- End Message ---
--- Begin Message ---
Source: agda
Source-Version: 2.3.0.1-1
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.3.0.1-1_all.deb
to main/a/agda/agda-mode_2.3.0.1-1_all.deb
agda_2.3.0.1-1.debian.tar.gz
to main/a/agda/agda_2.3.0.1-1.debian.tar.gz
agda_2.3.0.1-1.dsc
to main/a/agda/agda_2.3.0.1-1.dsc
agda_2.3.0.1-1_all.deb
to main/a/agda/agda_2.3.0.1-1_all.deb
agda_2.3.0.1.orig.tar.gz
to main/a/agda/agda_2.3.0.1.orig.tar.gz
libghc-agda-dev_2.3.0.1-1_amd64.deb
to main/a/agda/libghc-agda-dev_2.3.0.1-1_amd64.deb
libghc-agda-doc_2.3.0.1-1_all.deb
to main/a/agda/libghc-agda-doc_2.3.0.1-1_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 663...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Joachim Breitner <nome...@debian.org> (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 ftpmas...@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 12 Mar 2012 14:12:34 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda
Architecture: source all amd64
Version: 2.3.0.1-1
Distribution: unstable
Urgency: low
Maintainer: Debian Haskell Group
<pkg-haskell-maintain...@lists.alioth.debian.org>
Changed-By: Joachim Breitner <nome...@debian.org>
Description:
agda - dependently typed functional programming language
agda-mode - dependently typed functional programming language — emacs mode
libghc-agda-dev - dependently typed functional programming language -
development l
libghc-agda-doc - dependently typed functional programming language -
documentation
Closes: 663048
Changes:
agda (2.3.0.1-1) unstable; urgency=low
.
* New upstream release, GHC-7.4.1 compatible (Closes: #663048)
Checksums-Sha1:
df533c568f743e1a16ac34d84d82224d799f22f6 2389 agda_2.3.0.1-1.dsc
9fe8bc82c1267f4974928b807a8701790a208c86 612342 agda_2.3.0.1.orig.tar.gz
a1ea896558f797922c7bba1d61588bfe1fe03745 6506 agda_2.3.0.1-1.debian.tar.gz
a4a21045a6184f0cf1af8da8382d480421661be5 1750174
libghc-agda-doc_2.3.0.1-1_all.deb
2604df5d618628959d1aba29f2253c747c309e43 45708 agda-mode_2.3.0.1-1_all.deb
ef6929b357693685794a8df599d7e74ec39dff66 12784 agda_2.3.0.1-1_all.deb
3a2d986dc48e1c2c39408845d46d63f3cd309ddb 13055986
libghc-agda-dev_2.3.0.1-1_amd64.deb
Checksums-Sha256:
1a07ca0236da960e78833ad60908b61c870ce4d84ac08f964d208def356c03c7 2389
agda_2.3.0.1-1.dsc
5cc016a6cf113979d92af05c10b1e92dead4bf87861086177a017ce1d7605338 612342
agda_2.3.0.1.orig.tar.gz
c18bba9715b40f19e978608e7924fa50ac845837504aef0caf8767af6e71b2b8 6506
agda_2.3.0.1-1.debian.tar.gz
3ea2904a50364f1ea7df7dd49e491af349ca89084d4299a5ce7d1064743c24c0 1750174
libghc-agda-doc_2.3.0.1-1_all.deb
7141f4f57040406b0617e53cbcdd39c06de92576c1dbcc01e25bba17f0328b26 45708
agda-mode_2.3.0.1-1_all.deb
fa378c00cd29a41b3e39e700610bab43035f9dc3a4f56a3edad447678dabba0f 12784
agda_2.3.0.1-1_all.deb
3fce41ee27eb20090155efc13aaea13b0f80c99ce0e6f76d12f51341f2e66501 13055986
libghc-agda-dev_2.3.0.1-1_amd64.deb
Files:
3034d2df769f2477115989e0b3a77a3a 2389 haskell extra agda_2.3.0.1-1.dsc
3caa2466ae4f925dd37320336e2e839c 612342 haskell extra agda_2.3.0.1.orig.tar.gz
a7e404fe4d04dcfc4e56fea3a7c04204 6506 haskell extra
agda_2.3.0.1-1.debian.tar.gz
a6eb3da9e794c0d8f1803a8507cffccd 1750174 doc extra
libghc-agda-doc_2.3.0.1-1_all.deb
9563c64f524d065740fe0854416474e8 45708 misc extra agda-mode_2.3.0.1-1_all.deb
1c0bf8608db4d2fd09abc967b9df86d3 12784 misc extra agda_2.3.0.1-1_all.deb
70e7d0b7aae86ad17632cdaafa0ec875 13055986 haskell extra
libghc-agda-dev_2.3.0.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAk9d+QYACgkQ9ijrk0dDIGwafQCeOmDgq/83tVsyjiiBL9VKOSPq
8nYAn1f6qG5lmsWAibacm+mcWJTPyZ7m
=UX/W
-----END PGP SIGNATURE-----
--- End Message ---
