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
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
