Tags

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

upstream/2.34

2f8d3d95 · Imported Upstream version 2.34 · Apr 28, 2014
```
Upstream version 2.34
```
debian/2.33-2

e9f433d3 · typo in debian/tests/control · Feb 17, 2014
```
why Debian release 2.33-2
```
debian/2.33-1

bd38693c · close bug #730526 · Feb 13, 2014
```
why Debian release 2.33-1
```
upstream/2.33

d95adde5 · Imported Upstream version 2.33 · Jan 17, 2014
```
Upstream version 2.33
```
debian/2.30+dfsg-5

6691a9df · Release to unstable · May 16, 2012
```
Debian release 2.30+dfsg-5
```
debian/2.30+dfsg-4

c8c9d4a7 · Recompile with coq 8.3pl4 (no changes) · Apr 06, 2012
```
Debian release 2.30+dfsg-4
```
Unverified
debian/2.30+dfsg-3

6c73a70d · Setting urgency to "high" to fix those issues. · Jan 16, 2012
```
Debian release 2.30+dfsg-3
```
debian/2.30+dfsg-2

13ba055d · Rebuilt with latest coq-float 1:8.3pl1-1 (no source changes). · Jan 12, 2012
```
Debian release 2.30+dfsg-2
```
debian/2.30+dfsg-1

46514403 · Fix mess created by 37a88096 · Jan 02, 2012
```
Debian release 2.30+dfsg-1
```
upstream/2.30+dfsg

9904cd23 · Imported Upstream version 2.30+dfsg · Dec 08, 2011
```
Upstream version 2.30+dfsg
```
debian/2.29+dfsg-4

dc5e005e · Rebuild with OCaml 3.12.1. · Nov 03, 2011
```
Debian release 2.29+dfsg-4
```
debian/2.29+dfsg-3

c46b817a · FTBFS problem fixed in Frama-C · Apr 25, 2011
```
Debian release 2.29+dfsg-3
```
debian/2.29+dfsg-2

7042c0b0 · Fix FTBFS on armel. · Apr 25, 2011
```
Debian release 2.29+dfsg-2
```
debian/2.29+dfsg-1

f677c3ae · Set 20110201+carbon+dfsg-1~ as minimum version number for Frama-C. · Apr 24, 2011
```
Debian release 2.29+dfsg-1
```
upstream/2.29+dfsg

56bcf69a · Imported Upstream version 2.29+dfsg · Apr 23, 2011
```
Upstream version 2.29+dfsg
```
debian/2.26+dfsg-4

4eafbb67 · Rebuild with coq 8.2.pl2+dfsg-2 (no changes) · Mar 11, 2011
```
Debian release 2.26+dfsg-4
```
debian/2.26+dfsg-2+squeeze1

ef001ed4 · Fix Coq detection in Squeeze · Mar 13, 2011
```
Debian release 2.26+dfsg-2+squeeze1
```
debian/2.26+dfsg-3

2a4e3eae · Release to unstable · Jan 20, 2011
```
Debian release 2.26+dfsg-3
```
debian/2.26+dfsg-2

4801fdea · Release to unstable · Jul 20, 2010
```
Debian release 2.26+dfsg-2
```
debian/2.26+dfsg-1

e70943fe · Add a debian/source/format file (Keep 1.0 format, for now) · Jun 01, 2010
```
Debian release 2.26+dfsg-1
```

Prev
1
2
3
4
Next