Tags

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

debian/8.19.0-1

7ad4e735 · Prepare for upload · Apr 26, 2024
```
debian/8.19.0-1
```
Unverified
upstream/8.19.0

3bea980d · New upstream version 8.19.0 · Apr 26, 2024
```
Upstream version 8.19.0
```
debian/8.18.0-1

d477041d · Prepare for upload · Dec 21, 2023
```
debian/8.18.0-1
```
Unverified
upstream/8.18.0

0875fc57 · New upstream version 8.18.0 · Oct 11, 2023
```
Upstream version 8.18.0
```
debian/8.17.0-1

d79ed1cd · Prepare for upload · Jun 13, 2023
```
debian/8.17.0-1
```
Unverified
upstream/8.17.0

283b9491 · New upstream version 8.17.0 · Jun 08, 2023
```
Upstream version 8.17.0
```
debian/8.15.0-4

4d59584a · Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev · Jan 25, 2023
```
debian/8.15.0-4
```
Unverified
debian/8.15.0-3

c5cb93b3 · Simplify autopkgtest · Jul 16, 2022
```
debian/8.15.0-3
```
Unverified
debian/8.15.0-2

8fe3e5f2 · Prepare for upload · Jul 08, 2022
```
debian/8.15.0-2
```
Unverified
debian/8.15.0-1

72eb7781 · Initial packaging · Jun 29, 2022
```
debian/8.15.0-1
```
Unverified
upstream/8.15.0

7a8910c6 · New upstream version 8.15.0 · Jun 29, 2022
```
Upstream version 8.15.0
```