mlgmp Debian source package
===========================

Patching upstream sources
-------------------------

This package uses dpatch to manage all modifications to the upstream
source. Changes are stored in the source package as diffs in
debian/patches and applied during the build.

To get the fully patched source after unpacking the source package, cd
to the root level of the source package and run:

    debian/rules patch

Removing a patch is as simple as removing its entry from the
debian/patches/00list file, and please also remove the patch file
itself.

 -- Mehdi Dogguy <dogguy@pps.jussieu.fr>, Tue, 30 Jun 2009 23:07:54 +0200
