Tags

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

debian/8.14.0+dfsg-4

463da316 · Prepare for upload · Nov 15, 2021
```
debian/8.14.0+dfsg-4
```
Unverified
debian/8.14.0+dfsg-3

18aca141 · Prepare for upload to unstable · Nov 13, 2021
```
debian/8.14.0+dfsg-3
```
Unverified
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
```

Prev
1
2
3
4
5
6
7
…
10
Next