Tags

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

debian/2.40-4

3a1e7430 · Rebuild against coq/8.9.0-1 · Feb 22, 2019
```
why Debian release 2.40-4
```
Unverified
debian/2.40-3

3d178d55 · update Architecture: -armel +s390x +ppc64el +ppc64 · May 13, 2018
```
why Debian release 2.40-3
```
debian/2.40-2

e7cade95 · add build-dep libzarith-ocaml-dev · May 12, 2018
```
why Debian release 2.40-2
```
debian/2.40-1

559e94eb · DH compat level 11 · May 12, 2018
```
why Debian release 2.40-1
```
upstream/2.40

5d100607 · New upstream version 2.40 · Mar 18, 2018
```
Upstream version 2.40
```
debian/2.39-2

9340f214 · standards-version 4.1.1 · Oct 12, 2017
```
why Debian release 2.39-2
```
debian/2.39-1

dd7139a3 · upload to sid · Sep 06, 2017
```
why Debian release 2.39-1
```
upstream/2.39

fb6c5dbe · New upstream version 2.39 · Sep 05, 2017
```
Upstream version 2.39
```
debian/2.38-1

f8538ba3 · restrict to native architectures · Apr 24, 2017
```
why Debian release 2.38-1
```
upstream/2.38

464673ea · New upstream version 2.38 · Apr 22, 2017
```
Upstream version 2.38
```
debian/2.36-5

11cf726f · set FRAMADIR · Dec 27, 2016
```
why Debian release 2.36-5
```
debian/2.36-4

588cbbab · use FRAMAVER when creating the META file · Dec 27, 2016
```
why Debian release 2.36-4
```
debian/2.36-3

f01f917f · generate frama-c-plugin/META.frama-c-jessie · Dec 18, 2016
```
why Debian release 2.36-3
```
debian/2.36-2

bd347b69 · fix synopsis in jessie(1) · Oct 12, 2016
```
why Debian release 2.36-2
```
debian/2.36-1

94274d41 · debhelper level 10 · Oct 11, 2016
```
why Debian release 2.36-1
```
upstream/2.36

460c3c02 · New upstream version 2.36 · Sep 20, 2016
```
Upstream version 2.36
```
upstream/2.35

e2becea2 · Imported Upstream version 2.35 · Mar 15, 2016
```
Upstream version 2.35
```
debian/2.34-4

68f25ada · Release to unstable · Oct 17, 2015
```
why Debian release 2.34-4
```
debian/2.34-2

500b0718 · Update changelog and prepare upload to unstable · Aug 04, 2014
```
Debian release 2.34-2
```
Unverified
debian/2.34-1

33fd9860 · upload to sid · Apr 29, 2014
```
why Debian release 2.34-1
```