Package: ftp.debian.org Severity: normal Hi,
please remove binary packages libssreflect-ocaml libssreflect-ocaml-dev from all arches as these two are no longer built from source ssreflect since 1.7.0+dfsg-1. This blocks migration of the cluster coq, why3, ssreflect and aac-tactics. Thanks -Ralf.