Tags

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

debian/8.14.0+dfsg-2

a322bfa8 · Prepare for upload · Nov 11, 2021
```
debian/8.14.0+dfsg-2
```
Unverified
debian/8.14.0+dfsg-1

223f9fc7 · Prepare for upload to experimental · Nov 08, 2021
```
debian/8.14.0+dfsg-1
```
Unverified
upstream/8.14.0+dfsg

7af584de · New upstream version 8.14.0+dfsg · Nov 05, 2021
```
Upstream version 8.14.0+dfsg
```
debian/8.12.0-3

ae8430a9 · upload to unstable · Sep 09, 2020
```
coq Debian release 8.12.0-3
```
debian/8.12.0-2

7feb79c6 · patch header format · Sep 06, 2020
```
coq Debian release 8.12.0-2
```
debian/8.12.0-1

13bf32a5 · Rules-requires-Root=no · Aug 21, 2020
```
coq Debian release 8.12.0-1
```
upstream/8.12.0

e2b86272 · New upstream version 8.12.0 · Aug 21, 2020
```
Upstream version 8.12.0
```
debian/8.11.1_pre1-1

a75a9dba · disable test coq-makefile/findlib-package-unpacked as it fails on bytecode · Apr 16, 2020
```
coq Debian release 8.11.1~pre1-1
```
upstream/8.11.1_pre1

da1331a1 · New upstream version 8.11.1~pre1 · Apr 10, 2020
```
Upstream version 8.11.1~pre1
```
debian/8.11.0-1

f69346b0 · dev/tools/update-compat.py: use python3 · Mar 05, 2020
```
coq Debian release 8.11.0-1
```
upstream/8.11.0

64e07de4 · New upstream version 8.11.0 · Jan 31, 2020
```
Upstream version 8.11.0
```
debian/8.9.1-5

dbd1565a · typo in changelog entry · Jan 28, 2020
```
coq Debian release 8.9.1-5
```
debian/8.9.1-4

ec6f70a5 · update debian/not-installed as we build coqide{top} again · Jan 27, 2020
```
coq Debian release 8.9.1-4
```
debian/8.9.1-3

98bece2d · use dh_missing --fail-missing · Jan 24, 2020
```
coq Debian release 8.9.1-3
```
upstream/8.11_beta1

640258a9 · New upstream version 8.11~beta1 · Jan 16, 2020
```
Upstream version 8.11~beta1
```
debian/8.10.2-1

03edb905 · revert DH compat level to 11 · Jan 01, 2020
```
coq Debian release 8.10.2-1
```
upstream/8.10.2

05ddac2b · New upstream version 8.10.2 · Dec 01, 2019
```
Upstream version 8.10.2
```
upstream/8.10.1

96b66411 · New upstream version 8.10.1 · Nov 16, 2019
```
Upstream version 8.10.1
```

archive/debian/8.9.1-2

2963e752 · Make fast forward from 8.9.1-1 · Nov 08, 2019

coq release 8.9.1-2 for unstable (sid) [dgit]

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

Unverified

debian/8.9.1-2

42f986b0 · Recompile with OCaml 4.08.1 · Nov 08, 2019

coq release 8.9.1-2 for unstable (sid)

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

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

Unverified