Tags

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

debian/8.5_beta2+dfsg-2

64fa31c7 · enable make test-suite at build time · Jul 20, 2015
```
coq Debian release 8.5~beta2+dfsg-2
```
debian/8.5_beta2+dfsg-1

1b014807 · fix build deps · Jul 16, 2015
```
coq Debian release 8.5~beta2+dfsg-1
```
upstream/8.5_beta2+dfsg

0aa2544d · Imported Upstream version 8.5~beta2+dfsg · Jul 15, 2015
```
Upstream version 8.5~beta2+dfsg
```
upstream/8.5_beta1+dfsg

cec4741a · Imported Upstream version 8.5~beta1+dfsg · Jan 25, 2015
```
Upstream version 8.5~beta1+dfsg
```
debian/8.4pl4dfsg-1

476d60ef · Prepare upload to unstable · Jul 27, 2014
```
coq Debian release 8.4pl4dfsg-1
```
Unverified
upstream/8.4pl4dfsg

420f78b2 · Imported Upstream version 8.4pl4dfsg · Jul 27, 2014
```
Upstream version 8.4pl4dfsg
```
debian/8.4pl3dfsg-1

100dfc28 · Update changelog and prepare upload to unstable · Jan 19, 2014
```
coq Debian release 8.4pl3dfsg-1
```
Unverified
upstream/8.4pl3dfsg

d2c5c5e6 · Imported Upstream version 8.4pl3dfsg · Jan 19, 2014
```
Upstream version 8.4pl3dfsg
```
debian/8.4pl2dfsg-4

bdb99a4e · Prepare upload to unstable · Dec 03, 2013
```
coq Debian release 8.4pl2dfsg-4
```
Unverified
debian/8.4pl2dfsg-3

0ee03950 · Update changelog and prepare upload to experimental · Nov 22, 2013
```
Debian release 8.4pl2dfsg-3
```
Unverified
debian/8.4pl2dfsg-2

505d907f · Update changelog and prepare upload to experimental · Jul 26, 2013
```
coq Debian release 8.4pl2dfsg-2
```
Unverified
debian/8.4pl2dfsg-1

794da287 · Prepare upload to unstable · May 08, 2013
```
coq Debian release 8.4pl2dfsg-1
```
Unverified
upstream/8.4pl2dfsg

499a11a4 · Imported Upstream version 8.4pl2dfsg · May 08, 2013
```
Upstream version 8.4pl2dfsg
```
debian/8.4pl1dfsg-1

1c212c70 · Update changelog and prepare upload to experimental · Dec 29, 2012
```
Debian release 8.4pl1dfsg-1
```
Unverified
upstream/8.4pl1dfsg

bf12eb93 · Imported Upstream version 8.4pl1dfsg · Dec 29, 2012
```
Upstream version 8.4pl1dfsg
```
debian/8.4dfsg-2

eabf57d0 · Update changelog and prepare upload to experimental · Sep 22, 2012
```
Debian release 8.4dfsg-2
```
Unverified
debian/8.4dfsg-1

e0356f0d · Prepare upload to experimental · Aug 20, 2012
```
Debian release 8.4dfsg-1
```
Unverified
upstream/8.4dfsg

e0d682ec · Imported Upstream version 8.4dfsg · Aug 20, 2012
```
Upstream version 8.4dfsg
```
debian/8.4_gamma0+really8.4beta2+dfsg-1

509d6d4b · Prepare upload to experimental · Jun 05, 2012
```
Debian release 8.4~gamma0+really8.4beta2+dfsg-1
```
Unverified
upstream/8.4_gamma0+really8.4beta2+dfsg

86535d84 · Remove non-DFSG contents · Jun 04, 2012
```
Upstream version 8.4~gamma0+really8.4beta2+dfsg
```

Prev
1
2
3
4
5
6
7
8
9
10
Next