[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1114903: marked as done (FTBFS with ppxlib 0.36.1)

Your message dated Thu, 11 Sep 2025 13:49:55 +0000
with message-id <E1uwhgR-00BKlw-1O@fasolo.debian.org>
and subject line Bug#1114903: fixed in elpi 2.0.7-2
has caused the Debian Bug report #1114903,
regarding FTBFS with ppxlib 0.36.1
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 owner@bugs.debian.org
immediately.)


-- 
1114903: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1114903
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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

--- End Message ---
--- Begin Message --- 
Source: elpi
Source-Version: 2.0.7-2
Done: Stéphane Glondu <glondu@debian.org>

We believe that the bug you reported is fixed in the latest version of
elpi, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1114903@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated elpi package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 11 Sep 2025 15:27:16 +0200
Source: elpi
Architecture: source
Version: 2.0.7-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1114903
Changes:
 elpi (2.0.7-2) unstable; urgency=medium
 .
   * Team upload
   * Fix compilation with ppxlib 0.36.0 (Closes: #1114903)
Checksums-Sha1:
 c10d56c90b226750aef479e91a0a65004d04128d 2210 elpi_2.0.7-2.dsc
 caafe4d1350e4274b10d729fb31175be7bab1c45 5716 elpi_2.0.7-2.debian.tar.xz
Checksums-Sha256:
 047e68ecc7b3252eed5768de76f1e0dcfe61b97830df046c844b60890e1091be 2210 elpi_2.0.7-2.dsc
 309cddc2b4f81703b8b876dfae05d9bc72cf61ad4016055530be3cbb9847d07b 5716 elpi_2.0.7-2.debian.tar.xz
Files:
 8a65303a578affa40e03ba9ff4060b22 2210 ocaml optional elpi_2.0.7-2.dsc
 bdef133b28d0707a22eccbc1289193c8 5716 ocaml optional elpi_2.0.7-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmjCzqISHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBi9MH/AoLtzjEv47tJZaz6s5B1wIzjvxRXGOH
XvgddV2VhxjymyjRJsVi6Ydry+shcmu/92I05TEThEK9BwyxDWdxddDa9iRcxDR+
ikhXAzBPZfBLOwySCGDOgalsN+SueOFVTfylujAcNmr/QHUw84LcPmEDFbQs9tlJ
/YxTe2Fr4oB1SqVIgk1fvxgb3oEFvadSJ2jljYkicNRjz0bPIRi+XeHOpuUnd0T9
TP+5zFKkq9gQ3QyzYMzSEzYm+F5Wggek3H8poe1ojY5OcC6Paf+i6J24OQYR+UEh
S50HU2pWUkBhD2itYQ6BYmK78JJRSJhMjcGn3YpBwywynqBKSoHxq2w=
=435d
-----END PGP SIGNATURE-----

Attachment: pgpQCh38i08wB.pgp
Description: PGP signature


--- End Message ---
Reply to: