Tags

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

debian/8.20.0-2

af5c0c2e · Improve the patch to compile with recent Python · 2 months ago
```
debian/8.20.0-2
```
Unverified
zip
tar.gz
tar.bz2
tar
debian/8.20.0-1

f4446a7e · Prepare for upload · 3 months ago
```
debian/8.20.0-1
```
Unverified
zip
tar.gz
tar.bz2
tar
upstream/8.20.0

8712545f · New upstream version 8.20.0 · 3 months ago
```
Upstream version 8.20.0
```
zip
tar.gz
tar.bz2
tar
archive/debian/8.19.1-2

8c5a9bc0 · Declare fast forward from 8.19.1-1 · 10 months ago
```
coq-doc release 8.19.1-2 for unstable (sid) [dgit]

[dgit distro=debian split --quilt=gbp]
```
Unverified
zip
tar.gz
tar.bz2
tar

debian/8.19.1-2

e7cc1593 · Prepare upload to unstable · 10 months ago

coq-doc release 8.19.1-2 for unstable (sid)

(maintainer view tag generated by dgit --quilt=gbp)

[dgit distro=debian split --quilt=gbp]

Unverified

debian/8.19.1-1

b0839a6a · Package new upstream 8.19.1 · 1 year ago
```
debian/8.19.1-1
```
Unverified
zip
tar.gz
tar.bz2
tar
upstream/8.19.1

3d852571 · New upstream version 8.19.1 · 1 year ago
```
Upstream version 8.19.1
```
zip
tar.gz
tar.bz2
tar
debian/8.18.0-1

1db7b5d1 · Package new upstream 8.18.0 · 1 year ago
```
debian/8.18.0-1
```
Unverified
zip
tar.gz
tar.bz2
tar
upstream/8.18.0

489c8fa1 · New upstream version 8.18.0 · 1 year ago
```
Upstream version 8.18.0
```
zip
tar.gz
tar.bz2
tar
archive/debian/8.17.1-1

d09b0a11 · Declare fast forward from 8.16.1-1 · 1 year ago
```
coq-doc release 8.17.1-1 for unstable (sid) [dgit]

[dgit distro=debian split --quilt=gbp]
```
Unverified
zip
tar.gz
tar.bz2
tar
debian/8.17.1-1

8010e773 · Update changelog and prepare upload to unstable · 1 year ago
```
coq-doc release 8.17.1-1 for unstable (sid)

(maintainer view tag generated by dgit --quilt=gbp)

[dgit distro=debian split --quilt=gbp]
```
Unverified
zip
tar.gz
tar.bz2
tar
upstream/8.17.1

0cbda766 · New upstream version 8.17.1 · 1 year ago
```
Upstream version 8.17.1
```
zip
tar.gz
tar.bz2
tar
upstream/8.17.0

c80b87fc · New upstream version 8.17.0 · 1 year ago
```
Upstream version 8.17.0
```
zip
tar.gz
tar.bz2
tar
debian/8.16.1-1

fe3bda78 · Package new upstream 8.16.1 · 2 years ago
```
debian/8.16.1-1
```
Unverified
zip
tar.gz
tar.bz2
tar
upstream/8.16.1

cd219536 · New upstream version 8.16.1 · 2 years ago
```
Upstream version 8.16.1
```
zip
tar.gz
tar.bz2
tar
debian/8.16.0-2

ab29d8dd · Prepare for upload · 2 years ago
```
debian/8.16.0-2
```
Unverified
zip
tar.gz
tar.bz2
tar
debian/8.16.0-1

2bec7bbb · Prepare for upload · 2 years ago
```
debian/8.16.0-1
```
Unverified
zip
tar.gz
tar.bz2
tar
upstream/8.16.0

1edc2d94 · New upstream version 8.16.0 · 2 years ago
```
Upstream version 8.16.0
```
zip
tar.gz
tar.bz2
tar
debian/8.15.2-3

d786030b · Add b-dep on OCaml's native compilers (Closes: #1014678) · 2 years ago
```
debian/8.15.2-3
```
Unverified
zip
tar.gz
tar.bz2
tar
debian/8.15.2-2

0d892057 · Prepare for upload · 2 years ago
```
debian/8.15.2-2
```
Unverified
zip
tar.gz
tar.bz2
tar