Package: ftp.debian.org Severity: normal Please rm alt-ergo (1.30+dfsg1-2) on armhf from sid.
It does FTBFS on armhf most probably due to a bug in ocaml 4.05 [1]. Fixing this would require migrating to ocaml >= 4.06 which is out of question now for buster. This blocks migration of alt-ergo to testing. Thanks -Ralf. [1] https://github.com/OCamlPro/alt-ergo/issues/230 -- Ralf Treinen Institut de Recherche en Informatique Fondamentale Équipe Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.irif.fr/~treinen/
