why3 (1.4.1-1) unstable; urgency=medium

    The why3-coq package is no longer build.

 -- Ralf Treinen <treinen@debian.org>  Mon, 14 Mar 2022 17:49:44 +0100