Processed: setting package to jocaml-base jocaml, tagging 532970
Processing commands for control@bugs.debian.org:
> #jocaml (3.11.1-1) UNRELEASED; urgency=low
> #
> # * Make ocaml-findlib work with JoCaml, Closes: #532970, by:
> # - Adding a patch to minimize changes in outcometree.mli
> # - Installing toploop.cmi in a new directory (/usr/lib/jocaml/jocamltoploop)
> # - Modifying jocamlmktop so that produced toplevel is expunged from some
> # modules: Parsetree, types and Env.
> # - Adding a patch for expunge which adds a -v option to give modules to
> # filter instead of modules to keep.
> #
> package jocaml-base jocaml
Ignoring bugs not assigned to: jocaml-base jocaml
> tags 532970 + pending
Bug#532970: Make findlib work with Jocaml
There were no tags set.
Tags added: pending
>
End of message, stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: