Bug#793194: agda: FTBFS with latest cpphs (1.19)

Hans Joachim Desserud debian at desserud.org
Wed Jul 22 09:43:04 UTC 2015

Source: agda
Severity: important

Dear Maintainer,

You may already be aware of this, but agda fails to build from source
with the latest packaged version of cpphs.

Build dependencies in the control file state that agda requires:
                cpphs (>= 1.18.6),
                cpphs (<< 1.19),

However, now that cpphs 1.19-1 is available in unstable, this is no
longer possible to satisfy.
I have to admit I don't know why the restriction is in place, so I
guess this might need some work in order to build with the latest
version of cpphs.

-- System Information:
Debian Release: stretch/sid
   APT prefers unstable
   APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)

Kernel: Linux 4.0.0-2-amd64 (SMP w/1 CPU core)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

mvh / best regards
Hans Joachim Desserud

More information about the Pkg-haskell-maintainers mailing list