Tags

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

archive/debian/0.33+ds-4

9ce033d1 · Declare fast forward from 0.33+ds-3 · Aug 03, 2024
```
ott release 0.33+ds-4 for unstable (sid) [dgit]

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

debian/0.33+ds-4

7e659f78 · Prepare upload to unstable · Aug 03, 2024

ott release 0.33+ds-4 for unstable (sid)

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

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

debian/0.33+ds-3

ca6988aa · Prepare for upload · Apr 22, 2024
```
debian/0.33+ds-3
```
Unverified
debian/0.33+ds-2

81dfb1a5 · Prepare for upload · Dec 21, 2023
```
debian/0.33+ds-2
```
Unverified
debian/0.33+ds-1

187d61f7 · Prepare for upload · Jun 12, 2023
```
debian/0.33+ds-1
```
Unverified
upstream/0.33+ds

0f980378 · New upstream version 0.33+ds · Jun 08, 2023
```
Upstream version 0.33+ds
```
debian/0.32+ds-3

9becf232 · Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. · Jan 25, 2023
```
debian/0.32+ds-3
```
Unverified
debian/0.32+ds-2

962d9b59 · Prepare for upload · Jul 10, 2022
```
debian/0.32+ds-2
```
Unverified
debian/0.32+ds-1

1a052df2 · Initial packaging · Jul 08, 2022
```
debian/0.32+ds-1
```
Unverified
upstream/0.32+ds

7eaa6aa0 · New upstream version 0.32+ds · Jul 08, 2022
```
Upstream version 0.32+ds
```