Tags

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

debian/1.0.3-1

bead2973 · cvc5 (1.0.3-1) unstable; urgency=medium · Dec 19, 2022
```
cvc5 Debian release 1.0.3-1
```
upstream/1.0.3

0dfad045 · New upstream version 1.0.3 · Dec 19, 2022
```
Upstream version 1.0.3
```
debian/1.0.2-1

6d6c0d23 · Initial release. (Closes: #1007981) · Dec 01, 2022
```
cvc5 Debian release 1.0.2-1
```
upstream/1.0.2

a95a2207 · New upstream version 1.0.2 · Oct 27, 2022
```
Upstream version 1.0.2
```