Tags

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

archive/debian/8.9.1-1

3adccc4d · Declare fast forward from 8.9.0-1 · Aug 20, 2019
```
coq release 8.9.1-1 for unstable (sid) [dgit]

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

debian/8.9.1-1

ee559d60 · Prepare upload to unstable · Aug 20, 2019

coq release 8.9.1-1 for unstable (sid)

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

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

Unverified

upstream/8.9.1

9b861b45 · New upstream version 8.9.1 · Aug 20, 2019
```
Upstream version 8.9.1
```
debian/8.9.0-1

a7783b2b · Release for unstable · Feb 06, 2019
```
coq Debian release 8.9.0-1
```
Unverified
upstream/8.9.0

9ebf44d8 · Imported Upstream version 8.9.0 · Feb 02, 2019
```
Upstream version 8.9.0
```
Unverified
debian/8.8.2-1

11d2b496 · Release 8.8.2-1 for unstable · Jan 06, 2019
```
coq Debian release 8.8.2-1
```
Unverified
upstream/8.8.2

9043add6 · Imported Upstream version 8.8.2 · Dec 29, 2018
```
Upstream version 8.8.2
```
Unverified
debian/8.6-5

45d7383f · Update changelog and prepare upload to unstable · Sep 26, 2017
```
coq Debian release 8.6-5
```
Unverified
debian/8.6-4

c2f1eda5 · fix ocamlfind package name · Dec 30, 2016
```
coq Debian release 8.6-4
```
debian/8.6-3

56e5876c · fix FTBFS on mips · Dec 29, 2016
```
coq Debian release 8.6-3
```
debian/8.6-2

4409e85b · fix FTBFS disabling some tests · Dec 28, 2016
```
coq Debian release 8.6-2
```
debian/8.6-1

bfe45dba · Coq 8.6 · Dec 28, 2016
```
coq Debian release 8.6-1
```
upstream/8.6

a4c7f8bd · Imported Upstream version 8.6 · Dec 27, 2016
```
Upstream version 8.6
```
debian/8.5-2

7c9b0a70 · fix FTBFS on slow architectures by disabling 4429 · Jan 28, 2016
```
coq Debian release 8.5-2
```
upstream/8.5

164c6861 · Imported Upstream version 8.5 · Jan 26, 2016
```
Upstream version 8.5
```
debian/8.5_beta3+dfsg-2

d55ac401 · fix options passed to configure on non intel architectures · Nov 14, 2015
```
coq Debian release 8.5~beta3+dfsg-2
```
debian/8.5_beta3+dfsg-1

b39748fd · set version to beta3 in debian/rules · Nov 14, 2015
```
coq Debian release 8.5~beta3+dfsg-1
```
upstream/8.5_beta3+dfsg

91dbeab8 · Imported Upstream version 8.5~beta3+dfsg · Nov 13, 2015
```
Upstream version 8.5~beta3+dfsg
```
debian/8.4pl4dfsg-3

01762b59 · Update changelog and prepare upload to unstable · Oct 22, 2015
```
coq Debian release 8.4pl4dfsg-3
```
Unverified
debian/8.4pl4dfsg-2

ac7d8c98 · Prepare upload to unstable · Oct 13, 2015
```
coq Debian release 8.4pl4dfsg-2
```
Unverified