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
31
32
33
34
35
|
Ssreflect Debian source package
===============================
Packaging a new upstream
------------------------
* 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).
Building arch:all package
-------------------------
Building the arch:all package, libssreflect-coq, is not supported on
architectures with native compiler, but with no natdynlink (only armel
at the time of writing).
-- Stéphane Glondu <glondu@debian.org>, Sun, 24 Apr 2011 14:29:19 +0200
|
