Tags

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

debian/1.5.0-1

42796c11 · test why3+z3: drop preliminary test of z3 · May 03, 2022
```
why3 Debian release 1.5.0-1
```
upstream/1.5.0

69c93f9f · New upstream version 1.5.0 · May 02, 2022
```
Upstream version 1.5.0
```
debian/1.4.1-2

dbabf2ff · on bytecode archs, WHY3HYPO_UNITS must be obtained from why3ide.cma · Mar 19, 2022
```
why3 Debian release 1.4.1-2
```
debian/1.4.1-1

0064ceec · upload to sid · Mar 19, 2022
```
why3 Debian release 1.4.1-1
```
upstream/1.4.1

31bfabbb · New upstream version 1.4.1 · Mar 14, 2022
```
Upstream version 1.4.1
```
debian/1.4.0-3

de013ba7 · trailing white space · Dec 11, 2021
```
why3 Debian release 1.4.0-3
```

archive/debian/1.4.0-2

60566b47 · Make fast forward from 1.4.0-1 · Nov 24, 2021

why3 release 1.4.0-2 for unstable (sid) [dgit]

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

debian/1.4.0-2

02238e23 · Update changelog and prepare upload to unstable · Nov 24, 2021

why3 release 1.4.0-2 for unstable (sid)

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

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

archive/debian/1.4.0-1

907df898 · Declare fast forward from 1.3.3-3 · Nov 23, 2021
```
why3 release 1.4.0-1 for unstable (sid) [dgit]

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

debian/1.4.0-1

abfa9a14 · Update changelog and prepare upload to unstable · Nov 23, 2021

why3 release 1.4.0-1 for unstable (sid)

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

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

upstream/1.4.0

f5f1014f · New upstream version 1.4.0 · Nov 23, 2021
```
Upstream version 1.4.0
```
debian/1.3.3-2

bd3dd90b · Add two upstream patches to fix a build failure with new sphinx-bibtex (Closes: #995603) · Oct 26, 2021
```
why3 Debian release 1.3.3-2
```
debian/1.3.3-1

b920aa73 · put version constraint on dependency cvc4 · Sep 23, 2020
```
why3 Debian release 1.3.3-1
```
upstream/1.3.3

e7325f88 · New upstream version 1.3.3 · Sep 23, 2020
```
Upstream version 1.3.3
```
debian/1.3.2-1

abc2ddc4 · upload to unstable · Sep 11, 2020
```
why3 Debian release 1.3.2-1
```
upstream/1.3.2

69ef9d2c · New upstream version 1.3.2 · Sep 06, 2020
```
Upstream version 1.3.2
```
archive/debian/1.3.1-3

08e57e0f · Declare fast forward from 1.3.1-2 · Aug 16, 2020
```
why3 release 1.3.1-3 for unstable (sid) [dgit]

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

debian/1.3.1-3

ac2a4fe3 · Prepare upload to unstable · Aug 16, 2020

why3 release 1.3.1-3 for unstable (sid)

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

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

debian/1.3.1-2

6e01b10b · add build-depends-indep: graphviz · Apr 07, 2020
```
why3 Debian release 1.3.1-2
```
debian/1.3.1-1

c18e7040 · use packaged mathjax, instead of calling the external library · Apr 07, 2020
```
why3 Debian release 1.3.1-1
```

Prev
1
2
3
4
5
Next