Hi, On 28-06-18 20:26, Ralf Treinen wrote: > this is a bug of why which needs to be ported to upstream to produce > the new syntaxe of the WhyML language that was introduced with why3 > version 1.0.0. Is this an issue for why, or only for its autopkgtest? In the former, please raise a migration blocking bug against why3 until why is fixed. In both cases, may I suggest to add a versioned Breaks in why3 if why can be fixed before why3 migrates? Paul
Attachment:
signature.asc
Description: OpenPGP digital signature