melt for Debian
---------------

  * The "melt" executable has been renamed to "meltbuild", because of
    collision with /usr/bin/melt provided by the melt package. See [1]
    for discussion about this name.

  [1] https://lists.forge.ocamlcore.org/pipermail/melt-general/2010-August/000047.html

 -- Stéphane Glondu <glondu@debian.org>, Mon,  8 Nov 2010 09:29:55 +0100
