Package: ftp.debian.org Severity: normal Hello,
frama-c does no longer compile on architectures that only have a bytecode compiler for ocaml. I have reported this to upstream but have no idea how fast they can fix it, so since the freeze is coming please remove the frama-c-base binary package from these three architectures. Thanks -Ralf.
