Tags

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

debian/8.15.2-1

7193905b · Prepare for upload · Jun 15, 2022
```
debian/8.15.2-1
```
Unverified
upstream/8.15.2

3522cf20 · New upstream version 8.15.2 · Jun 10, 2022
```
Upstream version 8.15.2
```
debian/8.15.1-1

87110e0f · Prepare for upload · Mar 30, 2022
```
debian/8.15.1-1
```
Unverified
upstream/8.15.1

dca29b0c · New upstream version 8.15.1 · Mar 30, 2022
```
Upstream version 8.15.1
```
debian/8.15.0-3

dee62bbb · Prepare for upload · Feb 22, 2022
```
debian/8.15.0-3
```
Unverified
debian/8.15.0-2

e9729ddf · Prepare for upload · Feb 17, 2022
```
debian/8.15.0-2
```
Unverified
debian/8.15.0-1

0c3696ce · Prepare for upload · Feb 08, 2022
```
debian/8.15.0-1
```
Unverified
upstream/8.15.0

f70ccf62 · New upstream version 8.15.0 · Feb 06, 2022
```
Upstream version 8.15.0
```
debian/8.6-1

2dc0095a · new upstream version and minor polishing · Jul 05, 2017
```
coq-doc Debian release 8.6-1
```
Unverified
upstream/8.6

e0c5d5d4 · New upstream version 8.6 · Jul 03, 2017
```
Upstream version 8.6
```
debian/8.4pl4-2

ca67dd6e · fix ftbfs "unterminated string literal" · Feb 11, 2016
```
coq-doc Debian release 8.4pl4-2
```
debian/8.4pl4-1

ed618158 · Update changelog and prepare upload to unstable · Aug 17, 2014
```
coq-doc Debian release 8.4pl4-1
```
Unverified
upstream/8.4pl4

cd22604e · Imported Upstream version 8.4pl4 · Aug 17, 2014
```
Upstream version 8.4pl4
```
upstream/8.4pl3

5c90f587 · Imported Upstream version 8.4pl3 · Aug 17, 2014
```
Upstream version 8.4pl3
```
debian/8.4pl2-1

189e896f · Update changelog and prepare upload to unstable · Dec 12, 2013
```
coq-doc Debian release 8.4pl2-1
```
Unverified
upstream/8.4pl2

9c7efff0 · Imported Upstream version 8.4pl2 · Dec 12, 2013
```
Upstream version 8.4pl2
```
upstream/8.4pl1

18d4bc4a · Imported Upstream version 8.4pl1 · Dec 12, 2013
```
Upstream version 8.4pl1
```
upstream/8.4

06a1c808 · Imported Upstream version 8.4 · Dec 12, 2013
```
Upstream version 8.4
```
debian/8.3pl4-1

34fcd239 · Prepare upload to unstable · Apr 06, 2012
```
Debian release 8.3pl4-1
```
Unverified
upstream/8.3pl4

8381e529 · Imported Upstream version 8.3pl4 · Apr 06, 2012
```
Upstream version 8.3pl4
```

Prev
1
2
3
Next