Tags

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

debian/8.20.0+0.20.0-1

c43d75c3 · Prepare for upload · Nov 20, 2024
```
debian/8.20.0+0.20.0-1
```
Unverified
upstream/8.20.0+0.20.0

f525697f · New upstream version 8.20.0+0.20.0 · Sep 16, 2024
```
Upstream version 8.20.0+0.20.0
```
archive/debian/8.19.0+0.19.3-4

1406b77a · Declare fast forward from 8.19.0+0.19.3-3 · Aug 04, 2024
```
coq-serapi release 8.19.0+0.19.3-4 for unstable (sid) [dgit]

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

debian/8.19.0+0.19.3-4

a1594e6b · Prepare upload to unstable · Aug 04, 2024

coq-serapi release 8.19.0+0.19.3-4 for unstable (sid)

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

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

debian/8.19.0+0.19.3-3

90aba30f · Fix compilation with recent yojson (Closes: #1073269) · Jun 18, 2024
```
debian/8.19.0+0.19.3-3
```
Unverified
debian/8.19.0+0.19.3-2

43d4dfef · Prepare for upload · May 16, 2024
```
debian/8.19.0+0.19.3-2
```
Unverified
debian/8.19.0+0.19.3-1

ad9181bd · Initial packaging · May 02, 2024
```
debian/8.19.0+0.19.3-1
```
Unverified
upstream/8.19.0+0.19.3

a999389f · New upstream version 8.19.0+0.19.3 · May 02, 2024
```
Upstream version 8.19.0+0.19.3
```