Tags · Debian OCaml Maintainers / why3

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
```
Download source code

zip tar.gz tar.bz2 tar
upstream/1.5.0

69c93f9f · New upstream version 1.5.0 · May 02, 2022
```
Upstream version 1.5.0
```
Download source code

zip tar.gz tar.bz2 tar
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
```
Download source code

zip tar.gz tar.bz2 tar
debian/1.4.1-1

0064ceec · upload to sid · Mar 19, 2022
```
why3 Debian release 1.4.1-1
```
Download source code

zip tar.gz tar.bz2 tar
upstream/1.4.1

31bfabbb · New upstream version 1.4.1 · Mar 14, 2022
```
Upstream version 1.4.1
```
Download source code

zip tar.gz tar.bz2 tar
debian/1.4.0-3

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

zip tar.gz tar.bz2 tar
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]
```
Download source code

zip tar.gz tar.bz2 tar
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]
```
Download source code

zip tar.gz tar.bz2 tar
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]
```
Download source code

zip tar.gz tar.bz2 tar
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]
```
Download source code

zip tar.gz tar.bz2 tar
upstream/1.4.0

f5f1014f · New upstream version 1.4.0 · Nov 23, 2021
```
Upstream version 1.4.0
```
Download source code

zip tar.gz tar.bz2 tar
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
```
Download source code

zip tar.gz tar.bz2 tar
debian/1.3.3-1

b920aa73 · put version constraint on dependency cvc4 · Sep 23, 2020
```
why3 Debian release 1.3.3-1
```
Download source code

zip tar.gz tar.bz2 tar
upstream/1.3.3

e7325f88 · New upstream version 1.3.3 · Sep 23, 2020
```
Upstream version 1.3.3
```
Download source code

zip tar.gz tar.bz2 tar
debian/1.3.2-1

abc2ddc4 · upload to unstable · Sep 11, 2020
```
why3 Debian release 1.3.2-1
```
Download source code

zip tar.gz tar.bz2 tar
upstream/1.3.2

69ef9d2c · New upstream version 1.3.2 · Sep 06, 2020
```
Upstream version 1.3.2
```
Download source code

zip tar.gz tar.bz2 tar
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]
```
Download source code

zip tar.gz tar.bz2 tar

debian/1.3.1-2

6e01b10b · add build-depends-indep: graphviz · Apr 07, 2020
```
why3 Debian release 1.3.1-2
```
Download source code

zip tar.gz tar.bz2 tar
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
```
Download source code

zip tar.gz tar.bz2 tar

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code