Tags

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

debian/8.0pl3+8.1alpha-2

fe730bab · Correct the FTBFS because of LaTeX. · Apr 30, 2006
```
[svn-buildpackage] Tagging coq (8.0pl3+8.1alpha-2)
```
debian/8.0pl3+8.1alpha-1

c514a452 · Last modifications before upload. · Apr 29, 2006
```
[svn-buildpackage] Tagging coq (8.0pl3+8.1alpha-1)
```
upstream/8.0pl3+8.1alpha

3ef7797e · Imported Upstream version 8.0pl3+8.1alpha · Apr 28, 2006
```
Upstream version 8.0pl3+8.1alpha
```
debian/8.0pl3-2

514dce2d · Rephrasing changelog. · Feb 19, 2006
```
[svn-buildpackage] Tagging coq (8.0pl3-2)
```
debian/8.0pl3-1

d89cdcc0 · Getting ready for the new release. · Jan 19, 2006
```
[svn-buildpackage] Tagging coq (8.0pl3-1)
```
upstream/8.0pl3

018ee3b0 · Imported Upstream version 8.0pl3 · Jan 19, 2006
```
Upstream version 8.0pl3
```
debian/8.0pl2-4

06e68c3d · Updated to OCaml 3.09.0. · Nov 21, 2005
```
[svn-buildpackage] Tagging coq (8.0pl2-4)
```
debian/8.0pl2-3

44032630 · Switching to svn-buildpackage. · Sep 07, 2005
```
[svn-buildpackage] Tagging coq (8.0pl2-3)
```
debian/8.0pl2-2

36056e50 · Remove myself from uploaders · Mar 28, 2005
```
Tagging after upload.
```
debian/8.0pl2-1

6b61b68d · New upstream release: 8.0pl2. · Jan 31, 2005
```
Tagging after upload.
```
upstream/8.0pl2

6497f270 · Imported Upstream version 8.0pl2 · Jan 31, 2005
```
Upstream version 8.0pl2
```
debian/8.0pl1-3

30849e18 · Set urgency to high. · Aug 26, 2004
```
Tagegd coq 8.0pl1-3 after upload.
```
debian/8.0pl1-2

d5832194 · Removed the powerpc kludge. · Aug 17, 2004
```
Tagged coq 8.0pl1-2 after upload.
```
debian/8.0pl1-1

07ca4847 · We will upload it in unstable. · Jul 28, 2004
```
Tagged coq 8.0pl1 after upload.
```
upstream/8.0pl1

6b649aba · Imported Upstream version 8.0pl1 · Jul 28, 2004
```
Upstream version 8.0pl1
```