Tags

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

debian/8.3.pl1+dfsg-1

2ac35e66 · Prepare upload to experimental · Dec 24, 2010
```
Debian release 8.3.pl1+dfsg-1
```
Unverified
upstream/8.3.pl1+dfsg

50dc9067 · Remove non-DFSG contents · Dec 24, 2010
```
Upstream version 8.3.pl1+dfsg
```
upstream/8.3pl1

6b691bbd · Imported Upstream version 8.3pl1 · Dec 24, 2010
```
Upstream version 8.3pl1
```
debian/8.3+dfsg-1

0fa28b89 · Update changelog and prepare upload to experimental · Oct 16, 2010
```
Debian release 8.3+dfsg-1
```
Unverified
upstream/8.3+dfsg

8f4d4c66 · Remove non-DFSG contents · Oct 14, 2010
upstream/8.3

3e960026 · Imported Upstream version 8.3 · Oct 14, 2010
```
Upstream version 8.3
```
debian/8.3.rc1+dfsg-1

aae7cec8 · Prepare upload to experimental · Aug 10, 2010
```
Debian release 8.3~rc1+dfsg-1
```
Unverified
upstream/8.3.rc1.dfsg

f18e6146 · Imported Upstream version 8.3~rc1+dfsg · Aug 06, 2010
debian/8.3.beta0+13323-1

6c1da06d · Update changelog and prepare upload to experimental · Jul 24, 2010
```
Debian release 8.3~beta0+13323-1
```
Unverified
debian/8.3.beta0+13298-1

318fa609 · Update changelog and prepare upload to experimental · Jul 21, 2010
```
Debian release 8.3~beta0+13298-1
```
Unverified
debian/8.2.pl2+dfsg-1

7a998985 · Update changelog and prepare upload to unstable · Jul 02, 2010
```
Debian release 8.2.pl2+dfsg-1
```
Unverified
upstream/8.2.pl2+dfsg

da178a88 · Imported Upstream version 8.2pl2+dfsg · Jul 01, 2010
```
Upstream version 8.2pl2+dfsg
```
debian/8.2.pl1+dfsg-6

9ffbef80 · Add Disable-micromega-tests.patch, prepare upload to unstable · Feb 22, 2010
```
Debian release 8.2.pl1+dfsg-6
```
Unverified
debian/8.2.pl1+dfsg-5

beb7d535 · Update changelog and prepare upload to unstable · Feb 10, 2010
```
Debian release 8.2.pl1+dfsg-5
```
Unverified
debian/8.2.pl1+dfsg-4

736c6823 · Prepare upload to unstable · Dec 03, 2009
```
Debian release 8.2.pl1+dfsg-4
```
Unverified
debian/8.2.pl1+dfsg-3

d8e2663f · Various updates, prepare upload to unstable · Aug 29, 2009
```
Debian release 8.2.pl1+dfsg-3
```
Unverified
debian/8.2.pl1+dfsg-2

581c2782 · Call coqchk without -silent · Jul 05, 2009
```
Debian release 8.2.pl1+dfsg-2
```
Unverified
debian/8.2.pl1+dfsg-1

d43a92cb · New Upstream Version · Jul 04, 2009
```
Debian release 8.2.pl1+dfsg-1
```
Unverified
upstream/8.2.pl1+dfsg

e4282ea9 · Imported Upstream version 8.2.pl1+dfsg · Jul 04, 2009
```
Upstream version 8.2.pl1+dfsg
```
debian/8.2-1+dfsg-2

17b36461 · Prepare upload to unstable · Jul 01, 2009
```
Debian release 8.2-1+dfsg-2
```
Unverified

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