Tags

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

upstream/0.4

a77bca84 · Imported Upstream version 0.4 · Dec 05, 2013
```
Upstream version 0.4
```
debian/0.3.pl1-1

cfe42626 · Update changelog and prepare upload to unstable · May 09, 2013
```
aac-tactics Debian release 0.3.pl1-1
```
Unverified
upstream/0.3.pl1

7242d756 · Imported Upstream version 0.3.pl1 · May 09, 2013
```
Upstream version 0.3.pl1
```
debian/0.3-2

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

0ed33996 · Prepare upload to experimental · Sep 21, 2012
```
Debian release 0.3-1
```
Unverified
upstream/0.3

8917ab00 · Imported Upstream version 0.3 · Sep 20, 2012
```
Upstream version 0.3
```
debian/0.2.pl2-7

967ef647 · Recompile with camlp5 6.06 (no changes) · Jun 09, 2012
```
Debian release 0.2.pl2-7
```
Unverified
debian/0.2.pl2-6

4cb0bf1d · Recompile with camlp5 6.05 and coq 8.3pl4 (no changes) · Apr 01, 2012
```
Debian release 0.2.pl2-6
```
Unverified
debian/0.2.pl2-5

dfe4d2ef · Recompile with camlp5 6.04 (no changes) · Mar 05, 2012
```
Debian release 0.2.pl2-5
```
Unverified
debian/0.2.pl2-4

60121234 · Rebuild with Coq 8.3pl3 (no source changes) · Dec 25, 2011
```
Debian release 0.2.pl2-4
```
Unverified
debian/0.2.pl2-3

c0fd5a56 · Prepare upload to unstable · Nov 03, 2011
```
Debian release 0.2.pl2-3
```
Unverified
debian/0.2.pl2-2

7e380fca · Upload to unstable · May 01, 2011
```
Debian release 0.2.pl2-2
```
Unverified
debian/0.2.pl2-1

1bd3dd51 · Prepare upload to experimental · Feb 28, 2011
```
Debian release 0.2.pl2-1
```
Unverified
upstream/0.2.pl2

9216cffa · Imported Upstream version 0.2.pl2 · Feb 21, 2011
```
Upstream version 0.2.pl2
```
upstream/0.2.1

8ab74806 · Imported Upstream version 0.2.1 · Dec 01, 2010
```
Upstream version 0.2.1
```
upstream/0.2

9e28c502 · Imported Upstream version 0.2 · Dec 01, 2010
```
Upstream version 0.2
```
debian/0.1-r13244-1

a3c2b799 · Fill ITP number and prepare upload to experimental · Nov 30, 2010
```
Debian release 0.1-r13244-1
```
Unverified
upstream/0.1-r13244

1aa8b6f6 · Imported Upstream version 0.1-r13244 · Nov 29, 2010
```
Upstream version 0.1-r13244
```

Prev
1
2
3
Next