Tags

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

debian/8.1+dfsg-6

763b05d3 · Add dependencies on ${misc:Depends}. · Jul 04, 2007
```
[svn-buildpackage] Tagging coq (8.1+dfsg-6)
```
debian/8.1+dfsg-5

e9eb7999 · Correctly clean. · May 22, 2007
```
[svn-buildpackage] Tagging coq (8.1+dfsg-5)
```
debian/8.1+dfsg-4

41f185d2 · Removed tetex-extra from build-dependencies. · Apr 24, 2007
```
[svn-buildpackage] Tagging coq (8.1+dfsg-4)
```
debian/8.1+dfsg-3

cb73a339 · Uploading to unstable. · Apr 09, 2007
```
[svn-buildpackage] Tagging coq (8.1+dfsg-3)
```
debian/8.1+dfsg-2

04d097b8 · Uploading to experimental. · Mar 24, 2007
```
[svn-buildpackage] Tagging coq (8.1+dfsg-2)
```
debian/8.1+dfsg-1

d96021d8 · Converted copyright to utf8. · Feb 13, 2007
```
[svn-buildpackage] Tagging coq (8.1+dfsg-1)
```
upstream/8.1+dfsg

55ce117e · Imported Upstream version 8.1+dfsg · Feb 13, 2007
```
Upstream version 8.1+dfsg
```
debian/8.1.gamma-4

2a14f39f · Correctly build glob.dump on non-native archs. · Feb 11, 2007
```
[svn-buildpackage] Tagging coq (8.1~gamma-4)
```
debian/8.1.gamma-3

3ad70b16 · Correctly install coqdoc.sty. · Feb 04, 2007
```
[svn-buildpackage] Tagging coq (8.1~gamma-3)
```
debian/8.1.gamma-2

b9343b97 · Skip complexity checks. · Nov 23, 2006
```
[svn-buildpackage] Tagging coq (8.1~gamma-2)
```
debian/8.1.gamma-1

94594cf9 · New upstream release. · Nov 21, 2006
```
[svn-buildpackage] Tagging coq (8.1~gamma-1)
```
upstream/8.1.gamma

208a0f7b · Imported Upstream version 8.1~gamma · Nov 21, 2006
```
Upstream version 8.1~gamma
```
debian/8.0pl3+8.1beta.2-1

600cc313 · Check assertions in native mode too. · Jul 13, 2006
```
[svn-buildpackage] Tagging coq (8.0pl3+8.1beta.2-1)
```
upstream/8.0pl3+8.1beta.2

de008553 · Imported Upstream version 8.0pl3+8.1beta.2 · Jul 13, 2006
```
Upstream version 8.0pl3+8.1beta.2
```
debian/8.0pl3+8.1beta-1

0df132d1 · New upstream release. · Jun 16, 2006
```
[svn-buildpackage] Tagging coq (8.0pl3+8.1beta-1)
```
upstream/8.0pl3+8.1beta

e978da8c · Imported Upstream version 8.0pl3+8.1beta · Jun 16, 2006
```
Upstream version 8.0pl3+8.1beta
```
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)
```