Tags

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

debian/1.3.2+8.20-1

a6124608 · Prepare for upload · Nov 20, 2024
```
debian/1.3.2+8.20-1
```
Unverified
upstream/1.3.2+8.20

c6cfa6b4 · New upstream version 1.3.2+8.20 · Nov 16, 2024
```
Upstream version 1.3.2+8.20
```

archive/debian/1.3.2+8.19-2

f163af57 · Declare fast forward from 1.3.2+8.19-1 · Aug 03, 2024

coq-hammer release 1.3.2+8.19-2 for unstable (sid) [dgit]

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

debian/1.3.2+8.19-2

de194226 · Prepare upload to unstable · Aug 03, 2024

coq-hammer release 1.3.2+8.19-2 for unstable (sid)

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

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

debian/1.3.2+8.19-1

3f82a5e7 · Prepare for upload · Apr 10, 2024
```
debian/1.3.2+8.19-1
```
Unverified
upstream/1.3.2+8.19

649298fe · New upstream version 1.3.2+8.19 · Apr 10, 2024
```
Upstream version 1.3.2+8.19
```
debian/1.3.2+8.18-1

65ca49e9 · Prepare for upload · Dec 21, 2023
```
debian/1.3.2+8.18-1
```
Unverified
upstream/1.3.2+8.18

07924fc5 · New upstream version 1.3.2+8.18 · Nov 28, 2023
```
Upstream version 1.3.2+8.18
```
debian/1.3.2+8.17-1

7ae30fad · Prepare for upload · Jun 12, 2023
```
debian/1.3.2+8.17-1
```
Unverified
upstream/1.3.2+8.17

933dd45e · New upstream version 1.3.2+8.17 · Jun 07, 2023
```
Upstream version 1.3.2+8.17
```
debian/1.3.2+8.16-2

ab904528 · Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev · Jan 25, 2023
```
debian/1.3.2+8.16-2
```
Unverified
debian/1.3.2+8.16-1

512d36c1 · Prepare for upload · Sep 05, 2022
```
debian/1.3.2+8.16-1
```
Unverified
upstream/1.3.2+8.16

b81db8d3 · New upstream version 1.3.2+8.16 · Sep 05, 2022
```
Upstream version 1.3.2+8.16
```
debian/1.3.2+8.15-1

89b39531 · Initial packaging · Jul 15, 2022
```
debian/1.3.2+8.15-1
```
Unverified
upstream/1.3.2+8.15

fb4890d0 · New upstream version 1.3.2+8.15 · Jul 15, 2022
```
Upstream version 1.3.2+8.15
```