Tags

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

debian/8.3.pl4+dfsg-1

7ea6f008 · Update changelog and prepare upload to unstable · Mar 27, 2012
```
Debian release 8.3.pl4+dfsg-1
```
Unverified
upstream/8.3.pl4+dfsg

6e34b272 · Remove non-DFSG contents · Mar 27, 2012
```
Upstream version 8.3.pl4+dfsg
```
upstream/8.3.pl4

2bdcd093 · Imported Upstream version 8.3.pl4 · Mar 27, 2012
```
Upstream version 8.3.pl4
```
debian/8.3.pl3+dfsg-2

11b04078 · Recompile with camlp5 6.04 (no changes) · Mar 04, 2012
```
Debian release 8.3.pl3+dfsg-2
```
Unverified
debian/8.4_beta+dfsg-3

d1363525 · Update changelog and prepare upload to experimental · Jan 15, 2012
```
Debian release 8.4~beta+dfsg-3
```
Unverified
debian/8.4_beta+dfsg-2

144b0828 · Update changelog and prepare upload to experimental · Jan 14, 2012
```
Debian release 8.4~beta+dfsg-2
```
Unverified
debian/8.4_beta+dfsg-1

740160e5 · Prepare upload to experimental · Jan 12, 2012
```
Debian release 8.4~beta+dfsg-1
```
Unverified
upstream/8.4_beta+dfsg

39efc412 · Remove non-DFSG contents · Jan 12, 2012
```
Upstream version 8.4~beta+dfsg
```
upstream/8.4_beta

97fefe1f · Imported Upstream version 8.4~beta · Jan 12, 2012
```
Upstream version 8.4~beta
```
debian/8.3.pl3+dfsg-1_bpo60+1

2ee61d59 · Prepare upload to squeeze-backports · Jan 07, 2012
```
Debian release 8.3.pl3+dfsg-1~bpo60+1
```
Unverified
debian/8.3.pl3+dfsg-1

de109d8c · Update changelog and prepare upload to unstable · Dec 25, 2011
```
Debian release 8.3.pl3+dfsg-1
```
Unverified
upstream/8.3.pl3+dfsg

5fe4ac43 · Remove non-DFSG contents · Dec 25, 2011
```
Upstream version 8.3.pl3+dfsg
```
upstream/8.3.pl3

300293c1 · Imported Upstream version 8.3.pl3 · Dec 25, 2011
```
Upstream version 8.3.pl3
```
debian/8.3.pl2+dfsg-2_bpo60+1

ba021624 · Prepare upload to squeeze-backports · Nov 12, 2011
```
Debian release 8.3.pl2+dfsg-2~bpo60+1
```
Unverified
debian/8.3.pl2+dfsg-2

4fc051d0 · Prepare upload to unstable · Nov 02, 2011
```
Debian release 8.3.pl2+dfsg-2
```
Unverified
debian/8.3.pl2+dfsg-1

f23ca111 · Update changelog and prepare upload to unstable · Apr 19, 2011
```
Debian release 8.3.pl2+dfsg-1
```
Unverified
upstream/8.3.pl2+dfsg

aa33547c · Remove non-DFSG contents · Apr 19, 2011
upstream/8.3.pl2

9d27ae09 · Imported Upstream version 8.3.pl2 · Apr 19, 2011
```
Upstream version 8.3.pl2
```
debian/8.3.pl1+dfsg-2

853081b7 · Set and check COQ_VERSION used to compute COQ_ABI in debian/rules · Feb 26, 2011
```
Debian release 8.3.pl1+dfsg-2
```
Unverified
debian/8.2.pl2+dfsg-2

9a65bba5 · Update changelog and prepare upload to unstable · Feb 21, 2011
```
Debian release 8.2.pl2+dfsg-2
```
Unverified

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