Bug#1114903: FTBFS with ppxlib 0.36.1
Source: elpi
Version: 2.0.7-1
Severity: serious
Tags: ftbfs upstream
Dear Maintainer,
elpi FTBFS with ppxlib 0.36.1. There is a new upstream (3.3.1) which
builds, but then coq-elpi doesn't. I did my tests in an
opam-debian-switch by forcing coq to version 8.20.1. Maybe updating
coq solves the problem, but I wasn't planning to update coq right now.
Julien, would you take care of that? If updating coq cannot be done in
a timely manner, I propose to temporarily remove elpi and all its
reverse dependencies from testing.
Cheers,
--
Stéphane
-- System Information:
Debian Release: forky/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'buildd-unstable'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 6.16.3+deb14-amd64 (SMP w/12 CPU threads; PREEMPT)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
Reply to: