Package: ftp.debian.org Severity: normal Hi, the why3 source package now builds the why3-coq binary package only on those architectures where coq is available. Please remove why3-coq version 1.2.1-3 on the indicated architectures as it will block the migration of why3, coq and its satellites.
Thanks -Ralf.