This package was debianized by Georg Neis <gn@oglaroon.de> on
Sun, 31 Dec 2006 00:41:06 +0100.


ocamlwc was downloaded from `http://www.lri.fr/~filliatr/software.en.html'.

  Copyright (c) 2000 Jean-Christophe Filliâtre

  This software is free software; you can redistribute it and/or
  modify it under the terms of the GNU General Public
  License version 2, as published by the Free Software Foundation.

  This software is distributed in the hope that it will be useful,
  but WITHOUT ANY WARRANTY; without even the implied warranty of
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

On Debian GNU/Linux systems, the complete text of the GNU General
Public License can be found in `/usr/share/common-licenses/GPL'.


The Debian packaging is (c) 2006, 2007 by Georg Neis <gn@oglaroon.de>
and is licensed under the GPL, see `/usr/share/common-licenses/GPL'.
