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

Bug#1078549: marked as done (FTBFS with OCaml 5.2.0 on ppc64el)

Your message dated Thu, 29 Aug 2024 16:19:56 +0000
with message-id <E1sjhsK-006DBl-PX@fasolo.debian.org>
and subject line Bug#1078549: fixed in ocaml 5.2.0-3
has caused the Debian Bug report #1078549,
regarding FTBFS with OCaml 5.2.0 on ppc64el
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.)


-- 
1078549: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1078549
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: coq-elpi
Version: 2.1.0-1
Severity: serious
Tags: ftbfs
User: debian-ocaml-maint@lists.debian.org
Usertags: ocaml-5.2.0-transition

Dear Maintainer,

Your package FTBFS with OCaml 5.2.0 on ppc64el:

  https://buildd.debian.org/status/package.php?p=coq-elpi


Cheers,

--
Stéphane

--- End Message ---
--- Begin Message --- 
Source: ocaml
Source-Version: 5.2.0-3
Done: Stéphane Glondu <glondu@debian.org>

We believe that the bug you reported is fixed in the latest version of
ocaml, 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 1078549@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 ocaml 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, 29 Aug 2024 18:03:23 +0200
Source: ocaml
Architecture: source
Version: 5.2.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1078549
Changes:
 ocaml (5.2.0-3) unstable; urgency=medium
 .
   * Import upstream patch to fix coq-elpi ppc64el failure (Closes:
     #1078549)
Checksums-Sha1:
 8191f3870a88a70827cd087d7e6f496706931815 2493 ocaml_5.2.0-3.dsc
 0fd8bf84294ada55a098687ea04dbf648cee500a 41784 ocaml_5.2.0-3.debian.tar.xz
Checksums-Sha256:
 b23a2d433f1125facabf37e93b735b933079335d27d574d996c3cff27b1939d1 2493 ocaml_5.2.0-3.dsc
 dc2518477c785f2a8a35c0ecaf0f196051b1cd5852a79ef9f2fca537299e1195 41784 ocaml_5.2.0-3.debian.tar.xz
Files:
 6a1238160d034a66fbc88035dd55d611 2493 ocaml optional ocaml_5.2.0-3.dsc
 c96ebf76b2911bb7e036d1482a2d1f43 41784 ocaml optional ocaml_5.2.0-3.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmbQnCASHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBX88H/RoagGI4vIYUgPaXyZmg69nRN3MMXb/5
KBbCPgCIIBNs9EQLB79ZdDlTeLdDbc4hKSa9ePwxt5DHbO6+HVcIp+10Yb7pdIeR
BRUI8LgeL8Lab6xlK9XLlV2i4MwEWjV6EjbWxoFW3Oct5fGuy9+I0+QDD3DtOg7s
5Y+tmFZhTA33xh5Z+pXJCryd6qpK7DWqzzELsxPwRm/5R9QHUlORwxQSyjHp1jis
EJiVcw2a6RP4UDTRTca4vOBe40r2vg7xSqcutTf/hWxiZO+MJdFAzvITv5EsmF30
qEav9tccWBhGPoqRNzJdJe39VmYXNIvGwGzc1KIB5XpLgJUfKyqWslQ=
=f5W7
-----END PGP SIGNATURE-----

Attachment: pgpMNYzXHXZix.pgp
Description: PGP signature


--- End Message ---
Reply to: