1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
Ssreflect Debian source package
===============================
Packaging a new upstream
------------------------
* Upstream tarball ships PDF files without sources. When packaging a
new upstream release, they must be removed!
* Ssreflect uses internal structures of Coq and is quite easily
broken by new versions of Coq. However, some Coq developers
maintain a working version as Coq development goes at the
coq-contrib project on INRIA's GForge [1] (in Saclay directory).
[1] http://gforge.inria.fr/projects/coq-contribs/
Patching upstream sources
-------------------------
This source package uses quilt to apply and remove its patches. Please
refer to `/usr/share/doc/quilt/README.source' for information about
how to use quilt for source packages.
The quilt series is generated from the Git repository, using
dom-{apply,save}-patches, from the dh-ocaml (>= 0.5) package. Please
refer to the appendix about Git in the Debian OCaml Packaging Policy
(from the same package).
-- Stephane Glondu <steph@glondu.net>, Wed, 26 Aug 2009 21:38:47 +0200
|
