Tags

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

debian/1.2.1-5

5afcdfac · include coqvars.mk and use it only where it exists · Mar 08, 2020
```
why3 Debian release 1.2.1-5
```
debian/1.2.1-4

b4c4d145 · drop override of dh_dwz · Mar 08, 2020
```
why3 Debian release 1.2.1-4
```
archive/debian/1.2.1-3

12b7860e · Declare fast forward from 1.2.1-2 · Feb 10, 2020
```
why3 release 1.2.1-3 for unstable (sid) [dgit]

[dgit distro=debian split --quilt=gbp]
```
Unverified

debian/1.2.1-3

b377615d · Update changelog and prepare upload to unstable · Feb 10, 2020

why3 release 1.2.1-3 for unstable (sid)

(maintainer view tag generated by dgit --quilt=gbp)

[dgit distro=debian split --quilt=gbp]

Unverified

debian/1.2.1-2

7ad0122d · enable hardening flags · Nov 03, 2019
```
why3 Debian release 1.2.1-2
```
debian/1.2.1-1

ef87b465 · improve changelogentry · Oct 30, 2019
```
why3 Debian release 1.2.1-1
```
upstream/1.2.1

46b1f294 · New upstream version 1.2.1 · Oct 28, 2019
```
Upstream version 1.2.1
```
debian/1.2.0-3

3df931cd · stndrds-vesion 4.4.1 · Oct 15, 2019
```
why3 Debian release 1.2.0-3
```
debian/1.2.0-2

79472cec · port to lablgtk3 beta6 · Aug 29, 2019
```
why3 Debian release 1.2.0-2
```
debian/1.2.0-1

20c2eec8 · upload to unstable · Feb 15, 2019
```
why3 Debian release 1.2.0-1
```
upstream/1.2.0

3721ad4b · New upstream version 1.2.0 · Feb 14, 2019
```
Upstream version 1.2.0
```
debian/1.1.1-4

b5334af1 · re-enable coq support · Feb 06, 2019
```
why3 Debian release 1.1.1-4
```
debian/1.1.1-3

ab6e5f0e · upload to sid · Feb 03, 2019
```
why3 Debian release 1.1.1-3
```
debian/1.1.1-2

60e4a70f · DH compat level 12 · Jan 10, 2019
```
why3 Debian release 1.1.1-2
```
debian/1.1.1-1

c977ad25 · whitespace in control files · Dec 18, 2018
```
why3 Debian release 1.1.1-1
```
upstream/1.1.1

cbb8dfb9 · New upstream version 1.1.1 · Dec 18, 2018
```
Upstream version 1.1.1
```
debian/1.1.0-1

f268c7c6 · stndrds-version 4.2.1 · Nov 05, 2018
```
why3 Debian release 1.1.0-1
```
upstream/1.1.0

22adba56 · New upstream version 1.1.0 · Oct 22, 2018
```
Upstream version 1.1.0
```
debian/1.0.0-2

f106bc39 · fix test why3+cvc4 · Aug 13, 2018
```
why3 Debian release 1.0.0-2
```
debian/1.0.0-1

63d618d8 · +NEWS.Debian · Jun 27, 2018
```
why3 Debian release 1.0.0-1
```