Tags

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

debian/0.5.0-1

2e121003 · Prepare for upload · Dec 18, 2024
```
debian/0.5.0-1
```
Unverified
upstream/0.5.0

411c3b34 · New upstream version 0.5.0 · Dec 18, 2024
```
Upstream version 0.5.0
```

archive/debian/0.4.0-4

11aebf14 · Declare fast forward from 0.4.0-3 · Aug 04, 2024

coq-extructures release 0.4.0-4 for unstable (sid) [dgit]

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

961d990c · Prepare upload to unstable · Aug 04, 2024

coq-extructures release 0.4.0-4 for unstable (sid)

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

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

debian/0.4.0-3

0bb55dc9 · Fix target distribution · Apr 26, 2024
```
debian/0.4.0-3
```
Unverified
debian/0.4.0-2

0eac5755 · Rebuild for binary compatibility · Mar 30, 2024
```
debian/0.4.0-2
```
Unverified
debian/0.4.0-1

179b6741 · Prepare for upload · Dec 22, 2023
```
debian/0.4.0-1
```
Unverified
upstream/0.4.0

a86bfa09 · New upstream version 0.4.0 · Sep 27, 2023
```
Upstream version 0.4.0
```
debian/0.3.1-4

abb041a4 · Prepare for upload · Jun 15, 2023
```
debian/0.3.1-4
```
Unverified
debian/0.3.1-3

5f094fc0 · Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev · Jan 25, 2023
```
debian/0.3.1-3
```
Unverified
debian/0.3.1-2

1a9f0aff · Source-only upload for testing transition · Jul 31, 2022
```
debian/0.3.1-2
```
Unverified
debian/0.3.1-1

d1244116 · Initial packaging · Jul 16, 2022
```
debian/0.3.1-1
```
Unverified
upstream/0.3.1

1532e8c3 · New upstream version 0.3.1 · Jul 16, 2022
```
Upstream version 0.3.1
```