Tags

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

debian/1.8.0-1

51bd73ae · Prepare for upload · Sep 23, 2022
```
debian/1.8.0-1
```
Unverified
upstream/1.8.0

c7bd0ee2 · New upstream version 1.8.0 · Sep 23, 2022
```
Upstream version 1.8.0
```
debian/1.7.0-3

0159514f · Prepare for upload · Sep 05, 2022
```
debian/1.7.0-3
```
Unverified
debian/1.7.0-2

a6a55d71 · Rebuild against newer coq-ext-lib · Aug 13, 2022
```
debian/1.7.0-2
```
Unverified
debian/1.7.0-1

02d1c814 · Initial packaging · Jul 08, 2022
```
debian/1.7.0-1
```
Unverified
upstream/1.7.0

d761cde9 · New upstream version 1.7.0 · Jun 28, 2022
```
Upstream version 1.7.0
```