Tags

Tags give the ability to mark specific points in history as being important

debian/8.3pl3-1

92d77367 · Prepare upload to unstable · Jan 03, 2012
```
Debian release 8.3pl3-1
```
Unverified
upstream/8.3pl3

2b846385 · Imported Upstream version 8.3pl3 · Jan 03, 2012
```
Upstream version 8.3pl3
```
debian/8.3pl2-1

3e87e64e · Update changelog and prepare upload to unstable · May 06, 2011
```
Debian release 8.3pl2-1
```
Unverified
upstream/8.3pl2

59ca2432 · Imported Upstream version 8.3pl2 · May 06, 2011
```
Upstream version 8.3pl2
```
debian/8.2pl1-1

eb7e8227 · Add camlp5 to Build-Depends · Jan 07, 2010
```
Debian release 8.2pl1-1
```
Unverified
upstream/8.2pl1

962cf5c4 · Imported Upstream version 8.2pl1 · Jan 06, 2010
```
Upstream version 8.2pl1
```
debian/8.1-3

aed4a95f · Correct texlive dependencies. · Apr 23, 2007
```
[svn-buildpackage] Tagging coq-doc (8.1-3)
```
debian/8.1-2

f4157948 · Uploading to unstable. · Apr 09, 2007
```
[svn-buildpackage] Tagging coq-doc (8.1-2)
```
debian/8.1-1

f3f4a615 · Allow building with texlive. · Feb 13, 2007
```
[svn-buildpackage] Tagging coq-doc (8.1-1)
```
upstream/8.1

3eaea672 · Imported Upstream version 8.1 · Feb 13, 2007
```
Upstream version 8.1
```
debian/8.1.gamma-2

4e72cf4a · Correctly install html documentation. · Jan 16, 2007
```
[svn-buildpackage] Tagging coq-doc (8.1~gamma-2)
```
debian/8.1.gamma-1

27118a65 · Added faq-urldef.dpatch to workaround hevea bug #405994. · Jan 07, 2007
```
[svn-buildpackage] Tagging coq-doc (8.1~gamma-1)
```
upstream/8.1.gamma

fb6e7830 · Imported Upstream version 8.1~gamma · Jan 07, 2007
```
Upstream version 8.1~gamma
```
debian/8.0pl3+8.1beta.2-1

fe0e26c7 · Remove empty files. · Jul 13, 2006
```
[svn-buildpackage] Tagging coq-doc (8.0pl3+8.1beta.2-1)
```
upstream/8.0pl3+8.1beta.2

3a85fde4 · Imported Upstream version 8.0pl3+8.1beta.2 · Jul 13, 2006
```
Upstream version 8.0pl3+8.1beta.2
```
debian/8.0pl3+8.1alpha-2

8d434647 · Fix a typo in doc-base. · May 10, 2006
```
[svn-buildpackage] Tagging coq-doc (8.0pl3+8.1alpha-2)
```
debian/8.0pl3+8.1alpha-1

8edd2d15 · Fixing doc-base. · Apr 29, 2006
```
[svn-buildpackage] Tagging coq-doc (8.0pl3+8.1alpha-1)
```
upstream/8.0pl3+8.1alpha

870be614 · Imported Upstream version 8.0pl3+8.1alpha · Apr 28, 2006
```
Upstream version 8.0pl3+8.1alpha
```
upstream/8.0pl1.0

0ebaa0a2 · Imported Upstream version 8.0pl1.0 · Sep 18, 2004
```
Upstream version 8.0pl1.0
```
upstream/8.0pl1

a6845ce8 · Imported Upstream version 8.0pl1 · Aug 13, 2004
```
Upstream version 8.0pl1
```