Processing commands for cont...@bugs.debian.org:
> tags 860405 stretch sid
Bug #860405 {Done: Stéphane Glondu <glo...@debian.org>}
[libocamlbricks-ocaml-dev] marionnet: segfaults after installation, not usable
Added tag(s) stretch and sid.
> thanks
Stopping processing here.Please contact me if you need assistance. -- 860405: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=860405 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
