We believe that the bug you reported is now fixed; the following changes were made to the overrides...
Concerning package frama-c-base... Operating on the unstable suite Changed priority from extra to optional Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 588...@bugs.debian.org. This message was generated automatically; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@debian.org. Debian distribution maintenance software pp. Alexander Reichle-Schmehl (the ftpmaster behind the curtain) -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1owstp-0005xf...@franck.debian.org
