Tags

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

archive/debian/1.8.1-1

56182a40 · Make fast forward from 1.8.0-2 · Sep 12, 2025

why3 release 1.8.1-1 for unstable (sid) [dgit]

[dgit distro=debian split --quilt=gbp]
[dgit split-maint-view-tag=370fafc897b9f792db00337d8e6d1499ace26072]

Unverified

debian/1.8.1-1

22fefce7 · Prepare upload to unstable · Sep 12, 2025

why3 release 1.8.1-1 for unstable (sid)

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

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

Unverified

upstream/1.8.1

3a79f70c · New upstream version 1.8.1 · Sep 12, 2025
```
Upstream version 1.8.1
```
debian/1.8.0-3

078766e2 · uploadt to experimental, due to trixie soft freeze · Apr 20, 2025
```
why3 Debian release 1.8.0-3
```

archive/debian/1.8.0-2

8a70eaa5 · Declare fast forward from 1.8.0-1 · Feb 02, 2025

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

[dgit distro=debian split --quilt=gbp]
[dgit split-maint-view-tag=44c5dbd246a0ff16f9cd3ed21d728c890bc60af3]

Unverified

debian/1.8.0-2

b6965561 · Update changelog and prepare upload to unstable · Feb 02, 2025

why3 release 1.8.0-2 for unstable (sid)

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

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

Unverified

debian/1.8.0-1

4b2a16b3 · upload to unstable · Jan 22, 2025
```
why3 Debian release 1.8.0-1
```
upstream/1.8.0

7de60b4e · New upstream version 1.8.0 · Jan 01, 2025
```
Upstream version 1.8.0
```
archive/debian/1.7.2-2

0b5f26f0 · Declare fast forward from 1.7.2-1 · Aug 13, 2024
```
why3 release 1.7.2-2 for unstable (sid) [dgit]

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

debian/1.7.2-2

def95125 · Prepare upload to unstable · Aug 13, 2024

why3 release 1.7.2-2 for unstable (sid)

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

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

Unverified

debian/1.7.2-1

dd0b326f · upload to sid · Aug 12, 2024
```
why3 Debian release 1.7.2-1
```
upstream/1.7.2

1ad400d0 · New upstream version 1.7.2 · Aug 12, 2024
```
Upstream version 1.7.2
```
upstream/1.7.1

6d23f86f · New upstream version 1.7.1 · Mar 01, 2024
```
Upstream version 1.7.1
```
archive/debian/1.6.0-1

95e5434a · Declare fast forward from 1.5.1-1 · Sep 08, 2023
```
why3 release 1.6.0-1 for unstable (sid) [dgit]

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

debian/1.6.0-1

0427742b · Update changelog and prepare upload to unstable · Sep 08, 2023

why3 release 1.6.0-1 for unstable (sid)

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

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

Unverified

upstream/1.6.0

96bdf9b7 · New upstream version 1.6.0 · Sep 08, 2023
```
Upstream version 1.6.0
```
debian/1.5.1-1

26a2348b · lintian override for test file · Oct 19, 2022
```
why3 Debian release 1.5.1-1
```
upstream/1.5.1

13d5cde5 · New upstream version 1.5.1 · Sep 29, 2022
```
Upstream version 1.5.1
```
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
```