File: README.source

package info (click to toggle)
mlgmp 20021123-19
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 484 kB
  • ctags: 982
  • sloc: ansic: 3,257; ml: 2,686; makefile: 167
file content (20 lines) | stat: -rw-r--r-- 641 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
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