Bug#1093112: why3: FTBFS with OCaml 5.3.0 (syntax error due to new "effect" keyword)
Source: why3
Version: 1.7.2-2
Severity: important
Tags: ftbfs
User: debian-ocaml-maint@lists.debian.org
Usertags: ocaml-5.3.0-transition
Dear Maintainer,
Your package FTBFS with OCaml 5.3.0 for the following reason:
syntax error due to new "effect" keyword
A full log is available at:
http://ocaml.debian.net/transitions/20250111/ocaml-5.3.0/pool/why3/why3_1.7.2-2+ocaml1_amd64-2025-01-12T06:50:13Z.build
A repository with all relevant packages recompiled with OCaml 5.3.0 is
available at the following address:
http://ocaml.debian.net/transitions/ocaml-5.3.0/
Cheers,
--
Stephane
Reply to: