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

[Hans Joachim Desserud]

Source: agda
Version: 2.4.2.2-3
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
http://desserud.org