#1116032 elan - upcoming rust-pulldown-cmark update

Package:
elan
Source:
elan
Description:
tool for managing installations of the Lean theorem prover
Submitter:
Peter Green
Date:
2025-10-04 14:37:03 UTC
Severity:
normal
Tags:
#1116032#5
Date:
2025-09-23 12:22:52 UTC
From:
To:
I hope to update rust-pulldown-cmark to 0.13 soon. Elan needs
a small patch to build with the new version. I have written
the patch in such a way as to retain compatibility with the
old version.

#1116032#10
Date:
2025-10-03 23:54:10 UTC
From:
To:
rust-pulldown-cmark 0.13 has been uploaded to Unstable. elan now fails
to build. Please consider applying the patch Peter provided in the
previous email.

Thank you,
Jeremy Bícha

#1116032#21
Date:
2025-10-04 14:35:23 UTC
From:
To:
We believe that the bug you reported is fixed in the latest version of
elan, 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 1116032@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Christopher Hoskin <mans0954@debian.org> (supplier of updated elan 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)
Format: 1.8
Date: Sat, 04 Oct 2025 14:56:50 +0100
Source: elan
Architecture: source
Version: 4.1.2-3
Distribution: unstable
Urgency: medium
Maintainer: Christopher Hoskin <mans0954@debian.org>
Changed-By: Christopher Hoskin <mans0954@debian.org>
Closes: 1116032
Changes:
 elan (4.1.2-3) unstable; urgency=medium
 .
   * gbp pq patches
   * Remove patches/pulldown-cmark.patch
   * Fix "elan - upcoming rust-pulldown-cmark update" import upstream patch
     (Closes: #1116032)
Checksums-Sha1:
 7aa3f4148d569b543c641c2816b094491c275cdd 2804 elan_4.1.2-3.dsc
 4c206281799acc37e5ceeb7a4454b15a5cba7b1b 9724 elan_4.1.2-3.debian.tar.xz
 4f18039e9900f53fbc159c02e1499ed2f5cb7133 19314 elan_4.1.2-3_amd64.buildinfo
Checksums-Sha256:
 1471b28c1cd5ff9237c4844b47025b698fc4a169ab5937c8c225ff96f6d3bf0e 2804 elan_4.1.2-3.dsc
 ffdfa5c7c8c0967bcdd7de66d992d85d1b06ec57537dd11b4665e94bf78b8d24 9724 elan_4.1.2-3.debian.tar.xz
 5d6e2a093321304c749b90eff104e2a7e99eab071ddb850f67226c47227fd84b 19314 elan_4.1.2-3_amd64.buildinfo
Files:
 0f0691d3bdab9b1346beedefbca9a80f 2804 math optional elan_4.1.2-3.dsc
 661e4e01e7382664666ec624ed7dca84 9724 math optional elan_4.1.2-3.debian.tar.xz
 232e1c59bedf63ad6a2170e7f360a76c 19314 math optional elan_4.1.2-3_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----

iQJIBAEBCgAyFiEEbctJ5K6JlvFsvhGhf6qUsnUUSpoFAmjhKNYUHG1hbnMwOTU0
QGRlYmlhbi5vcmcACgkQf6qUsnUUSpogCRAAholHd6NIPNNO+z8TBZ1TpGpOV3vu
B2nmFIlNbIfwFpvyIiTQB8gC9I8OSm3yS8lAyBeYIs3Ykf8S5pr/CgERB4TupzXb
gY63s6oNywJJgHjqR7oEhZZAe/iPEINUz/a/XulazCvjtt+Aj3un36lweqEwAxaJ
1RfBd8QoLXj0R5yg+yIn0VTMpd/Bp/P8R1S1QeF/9D/lvZ0rwweHZG3k1Cwqv3HN
ggbIfW3aiYbApvQ6xdadK2bwVHbRWQf8hI3NN73ATHeSU+k4gKR/5jJMUzQe9RRA
c1F+O0Eov8TV5OnCeK/ssB7PtdZB198PjkP12kCVjUi/VE+uD+2poj/3ZEYEoBfw
+1JrGUrbtiAgRRHUAryBZF1lV4c+kK0+cSPL7WKXy7zu4EyhvCPp1tvlFOr6KdM5
fhHsKhQx8/U9Okw8IeVdDI5exv4PhtAuolZDbaX6IlyxO91TQhgY2ekXJBqzMhNJ
EmI2dyfikzVn1ZWf7d1WXmnIrIdPL7RoaaiYSo24LZNYvyXkNagehkWB5Vrq8CEP
7glfS17a1wg6oW8V1QX9+xvHuYbIPTB8x7xqTHkyZiecBzajouy1uDdpGrKak7mw
5ZUSeNozu0/bgdS7PgVbw8qbxRRqXGACyuw9PCuuxXwLD/ctXv9a25pJG/xECCvj
jwVFuy23IT/kxzs=
=pcfq
-----END PGP SIGNATURE-----