Tags

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

debian/1.11.0-1

5a27de19 · Prepare for upload · Nov 20, 2024
```
debian/1.11.0-1
```
Unverified
upstream/1.11.0

00f89cc6 · New upstream version 1.11.0 · Oct 31, 2024
```
Upstream version 1.11.0
```

archive/debian/1.10.0-2

e98f6ef4 · Declare fast forward from 1.10.0-1 · Aug 04, 2024

coq-stdpp release 1.10.0-2 for unstable (sid) [dgit]

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

debian/1.10.0-2

4a3a1200 · Prepare upload to unstable · Aug 04, 2024

coq-stdpp release 1.10.0-2 for unstable (sid)

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

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

debian/1.9.0-1

64013f02 · Prepare for upload · Dec 21, 2023
```
debian/1.9.0-1
```
Unverified
upstream/1.9.0

1ef96c89 · New upstream version 1.9.0 · Oct 12, 2023
```
Upstream version 1.9.0
```
debian/1.8.0-4

4f3b1f40 · Prepare for upload · Jun 12, 2023
```
debian/1.8.0-4
```
Unverified
debian/1.8.0-3

49491c2c · Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev · Jan 25, 2023
```
debian/1.8.0-3
```
Unverified
debian/1.8.0-2

b9d48387 · Prepare for upload · Sep 11, 2022
```
debian/1.8.0-2
```
Unverified
debian/1.8.0-1

06e619ab · Prepare for upload · Aug 19, 2022
```
debian/1.8.0-1
```
Unverified
upstream/1.8.0

84549841 · New upstream version 1.8.0 · Aug 19, 2022
```
Upstream version 1.8.0
```
debian/1.7.0-2

71f06934 · Re-upload source-only for testing migration · Jul 21, 2022
```
debian/1.7.0-2
```
Unverified
debian/1.7.0-1

4a619bc5 · Initial packaging · Jul 08, 2022
```
debian/1.7.0-1
```
Unverified
upstream/1.7.0

ef840486 · New upstream version 1.7.0 · Jul 08, 2022
```
Upstream version 1.7.0
```