Tags

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

debian/1.8-5

c0436548 · Upload for unstable as 1.8-5 · Oct 27, 2025
```
cvc4 Debian release 1.8-5
```
Unverified
debian/1.8-4

10802b13 · upload to delayed/15 · Jul 27, 2025
```
cvc4 Debian release 1.8-4
```
debian/1.8-3

d9a46c14 · Release 1.8-3 to unstable · Oct 29, 2022
```
cvc4 Debian release 1.8-3
```
debian/1.8-2

409f4d65 · Release 1.8-2 for unstable · Sep 17, 2020
debian/1.8-1

0e88d09c · Re-release 1.8-1 for unstable · Sep 13, 2020
upstream/1.8

29b10aa6 · New upstream version 1.8 · Aug 30, 2020
```
Upstream version 1.8
```
debian/1.6-2

01925ff9 · Release 1.6-2 for unstable · Aug 12, 2018
debian/1.6-1

a339331e · Set distribution to unstable in debian/changelog · Aug 07, 2018
upstream/1.6

cad79f22 · New upstream version 1.6 · Jul 17, 2018
```
Upstream version 1.6
```
debian/1.5-1

51f57fe5 · Release for unstable · Jul 29, 2017
upstream/1.5

c9b82843 · New upstream version 1.5 · Jul 11, 2017
```
Upstream version 1.5
```
upstream/1.5_pre-20170316

9f1db7ed · New upstream version 1.5~pre-20170316 · Mar 16, 2017
```
Upstream version 1.5~pre-20170316
```