Source: why3 Version: 1.7.2-2 Severity: important Tags: ftbfs User: [email protected] 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
