Your message dated Thu, 30 Apr 2026 09:19:55 +0200
with message-id <[email protected]>
and subject line Re: Bug#1133718: RM: elpi/2.0.7-3
has caused the Debian Bug report #1133718,
regarding RM: elpi/2.0.7-3
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 [email protected]
immediately.)
--
1133718: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1133718
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: release.debian.org
Severity: normal
X-Debbugs-Cc: [email protected], [email protected]
Control: affects -1 + src:elpi
User: [email protected]
Usertags: rm
Dear Release Team,
elpi (which FTBFS, but has newer upstream versions) and its
reverse-dependencies are preventing ppxlib (which is 11 days old now)
and its reverse-dependencies to migrate.
easy -coq-corn -coq-deriving -coq-elpi -coq-extructures -coq-hierarchy-builder
-coq-interval -coq-quickchick -coq-reglang -coq-relation-algebra -coqeal
-coquelicot -elpi -mathcomp-algebra-tactics -mathcomp-analysis
-mathcomp-bigenough -mathcomp-finmap -mathcomp-multinomials
-mathcomp-real-closed -mathcomp-zify -ssreflect
Cheers,
--
Stéphane
--- End Message ---
--- Begin Message ---
Hi,
On 4/17/26 09:17, Stéphane Glondu wrote:
Le 17/04/2026 à 08:56, Sebastian Ramacher a écrit :
elpi (which FTBFS, but has newer upstream versions) and its
reverse-dependencies are preventing ppxlib (which is 11 days old now)
and its reverse-dependencies to migrate.
Is there anything blocking the fix for elpi?
Its maintainer (Julien, in CC, who is also the maintainer of all reverse
dependencies) has trouble with his setup and seemingly lacks time to
sort it out, see the thread starting at:
https://lists.debian.org/msgid-search/
[email protected]
I have added removal hints.
Paul
OpenPGP_signature.asc
Description: OpenPGP digital signature
--- End Message ---
