Bug#1002988: marked as done (FTBFS with camlp5 8.00.02)
Your message dated Fri, 21 Jan 2022 09:33:41 +0000
with message-id <E1nAqIf-0006Hs-K7@fasolo.debian.org>
and subject line Bug#1002988: fixed in elpi 1.13.8-2
has caused the Debian Bug report #1002988,
regarding FTBFS with camlp5 8.00.02
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.)
--
1002988: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1002988
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: elpi
Version: 1.13.8-1
Severity: important
Tags: ftbfs
Dear Maintainer,
Your package FTBFS with camlp5 8.00.02 with the following error:
> File "src/parser.ml", line 426, characters 13-20:
> 426 | tok_func = lex_fun;
> ^^^^^^^
> Error: This expression has type
> char Stream.t -> (string * string) Stream.t * (int -> Ploc.t)
> but an expression was expected of type
> (string * string) Plexing.lexer_func =
> char Stream.t -> (string * string) Stream.t * Plexing.Locations.t
> Type int -> Ploc.t is not compatible with type Plexing.Locations.t
This was discovered while preparing the transition to OCaml 4.13.1.
Packages rebuilt with OCaml 4.13.1 are available at:
https://ocaml.debian.net/transitions/ocaml-4.13.1/
Cheers,
--
Stéphane
-- System Information:
Debian Release: bookworm/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 5.15.0-2-amd64 (SMP w/4 CPU threads)
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: 1.13.8-2
Done: Julien Puydt <jpuydt@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 1002988@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@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: Fri, 21 Jan 2022 10:22:17 +0100
Source: elpi
Architecture: source
Version: 1.13.8-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1002988
Changes:
elpi (1.13.8-2) unstable; urgency=medium
.
* Add support for camlp5 8.*. (Closes: #1002988)
Checksums-Sha1:
66cc16add35e665681fcb1759a3989dce2a56112 2121 elpi_1.13.8-2.dsc
3c750f09d0c3f5c7197ee58adfe186bac07e7e0d 4424 elpi_1.13.8-2.debian.tar.xz
a4e16a09ab5ed17db13f52a6a53a503ae176be0a 7288 elpi_1.13.8-2_source.buildinfo
Checksums-Sha256:
1f73edb90d0b7061de2cf3b3e689ebdf129afb2abfb0c689f2f20c5efd1cbee5 2121 elpi_1.13.8-2.dsc
dbf442d88a5995b4104eb31d97be4f66c1335a65e5223f8e78b4b0b9f82095a0 4424 elpi_1.13.8-2.debian.tar.xz
e5850a4dd593567ee19d5b2c725418da7be4be7f621cf527216a78f9fa3080c1 7288 elpi_1.13.8-2_source.buildinfo
Files:
915867d4b9cc917ae9a09de4c727c54f 2121 ocaml optional elpi_1.13.8-2.dsc
550f44cdb54a05f1a5c896c824646321 4424 ocaml optional elpi_1.13.8-2.debian.tar.xz
e59eec938db90602631e0f5c758dc211 7288 ocaml optional elpi_1.13.8-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHqe24SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRlWwP/iJ23Z8sx33iRM2LggM41SBrqYoAWX90
dd3mn6+zqOhvmkpZjRPC/dLlUJI65FbqUFEfsXlNQljWYYfPLRvR2jtF0fgYLGI0
twDraw/63KULvnMYLM0rO/yXcdaoLjxSJzzApQD2Cko0RQtXFBp2WQdk8aMFMDiY
x25hYamAN5Af+s2WlFjCCbpzEUoE5TJhOtEmIb0HlSRuixvz1dWmd1NHyq6dpLIj
3Qv3deVvn+Wymp2TGSoIhSe6YEGWJ+n6TskSg1oxi+HFmgWwwQkQa6UsBtYxHCHF
CMH0KTIPnwsDoTlPcX5UwRns1QkJT7b5SgzuvQQ2uWBNSuKGyA/jYlEqZoyL/c2D
EMJIz8SMvx1ZhHJ/27ZqGcUcaNMMJ0fezM8DgLNp7l74KOUeulZyIpzT7ADJ+Va8
lG5mMrwUNmS8Z32ONkVH4n9fxn1pF+oNPVMa89kRNqQOp8walMdNE1Kfl7M0oeOa
Ffko6wwAR5ToctACpKynO8BTUHU7rjvMqdFdvAmzlOElSlnKcnvIuZA87lIQy6BZ
H8aUvdRRnAWeGZ7rNlc0BiblleX7Z1oYnL6p5wYX/VI5b37YwApT/dib6xa1NlhD
OuaQN1wfu5PfusLRw34gwsiz+lm1m8BLXAjEznSSWaapjkZgoBt+/lEzpMEkbbk8
YYeMab8YWwdh
=IVzC
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: