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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
|
coq-doc (8.2pl1-1) unstable; urgency=low
[ Stéphane Glondu ]
* New upstream release (Closes: #563669)
- remove patches
* Packaging overhaul:
- use git, advertise it in Vcs-* fields of debian/control
- use debhelper 7 and dh with override
- use source format 3.0 (quilt)
* debian/control:
- set Maintainer to d-o-m, set Uploaders to Sam and myself
- add Homepage field
- bump Standards-Version to 3.8.3
* Register PDF documentation into doc-base
* Add debian/watch
* Update debian/copyright
[ Samuel Mimram ]
* Change coq-doc's description to mention that it provides documentation in
pdf format, not postscript, closes: #543545.
-- Stéphane Glondu <glondu@debian.org> Thu, 07 Jan 2010 22:50:39 +0100
coq-doc (8.1-3) unstable; urgency=low
* Removed tetex-bin from build-dependencies, and added texlive-base,
texlive-latex-extra, texlive-math-extra, texlive-lang-french and
texlive-humanities, closes: #420591.
-- Samuel Mimram <smimram@debian.org> Sat, 14 Apr 2007 18:24:43 +0200
coq-doc (8.1-2) unstable; urgency=low
* Uploading to unstable.
-- Samuel Mimram <smimram@debian.org> Mon, 09 Apr 2007 17:21:10 +0200
coq-doc (8.1-1) experimental; urgency=low
* New upstream release.
* Allow building with texlive in build-dependencies.
-- Samuel Mimram <smimram@debian.org> Tue, 13 Feb 2007 13:23:18 +0000
coq-doc (8.1~gamma-2) experimental; urgency=low
* Correctly install html documentation, closes: #407117.
-- Samuel Mimram <smimram@debian.org> Tue, 16 Jan 2007 17:40:02 +0000
coq-doc (8.1~gamma-1) experimental; urgency=low
* New upstream release.
* Added faq-urldef.dpatch to workaround hevea bug #405994.
-- Samuel Mimram <smimram@debian.org> Sun, 7 Jan 2007 20:18:31 +0100
coq-doc (8.0pl3+8.1beta.2-1) experimental; urgency=low
* New beta upstream release.
-- Samuel Mimram <smimram@debian.org> Thu, 13 Jul 2006 14:40:04 +0000
coq-doc (8.0pl3+8.1alpha-2) experimental; urgency=low
* Correct a typo in coq-rectutorial's doc-base (thanks Remi Vanicat),
closes: #366611.
* Updated standards version to 3.7.2, no changes needed.
-- Samuel Mimram <smimram@debian.org> Wed, 10 May 2006 16:39:24 +0000
coq-doc (8.0pl3+8.1alpha-1) experimental; urgency=low
* The licensing issue is now solved. The new licence is OPL which is not
DFSG-compatible. We're moving to non-free, closes: #294865.
* Updated the copyright file.
* Split coq-doc into -html and -pdf, closes: #266019.
* Using dpatch for handling patches.
* Updated standards version to 3.6.2, no changes needed.
-- Samuel Mimram <smimram@debian.org> Fri, 28 Apr 2006 18:52:06 +0200
coq-doc (8.0pl1.0-1) unstable; urgency=low
* Added the Coq faq, moved the tutorial to the root directory and added
doc-base files for both, closes: #272204.
* Set dh_compat to level 4.
-- Samuel Mimram <samuel.mimram@ens-lyon.org> Sat, 18 Sep 2004 13:28:22 +0200
coq-doc (8.0pl1-1) unstable; urgency=medium
* New maintainer.
* New upstream release, closes: #265077.
* Converted changelog and control to utf8.
* Updated Standards-Version to 3.6.1.
* Removed the unneeded Depends.
* Added a symbolic link to the documentation in /usr/share/doc/coq,
closes: #146617.
* Included the html documentation, closes: #146618.
* Slightly modified the description, since we now also have the html doc.
* The package is now built by the binary-indep rule of debian/rules.
-- Samuel Mimram <samuel.mimram@ens-lyon.org> Fri, 13 Aug 2004 16:32:10 +0200
coq-doc (7.2-1) unstable; urgency=medium
* New upstream version.
* New maintainer.
-- Judicaël Courant <Judicael.Courant@lri.fr> Thu, 18 Apr 2002 15:08:00 +0200
coq-doc (6.3.1-2) unstable; urgency=low
* Changed Architecture field from 'any' to 'all' since this package only
contains documentation (closes: Bug#52770)
-- Fernando Sanchez <fer@debian.org> Sat, 18 Dec 1999 12:43:48 +0100
coq-doc (6.3.1-1) unstable; urgency=low
* New upstream release
-- Fernando Sanchez <fer@debian.org> Wed, 8 Dec 1999 16:19:01 +0100
coq-doc (6.3-1) unstable; urgency=low
* Initial Release.
-- Fernando Sanchez <fer@debian.org> Sun, 28 Nov 1999 19:42:06 +0100
|
