You need to sign in or sign up before continuing.

Tags

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

debian/8.20.1-1

91f3bd35 · Package new upstream 8.20.1 · Jan 23, 2025
```
debian/8.20.1-1
```
Unverified
upstream/8.20.1

042b269e · New upstream version 8.20.1 · Jan 23, 2025
```
Upstream version 8.20.1
```
debian/8.20-1

bec70a77 · Prepare for upload · Dec 26, 2024
```
debian/8.20-1
```
Unverified
upstream/8.20

aecdf63f · New upstream version 8.20 · Dec 26, 2024
```
Upstream version 8.20
```

archive/debian/8.19-2

f809da62 · Prepare upload to unstable · Aug 04, 2024

coqprime release 8.19-2 for unstable (sid) [dgit]

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

f809da62 · Prepare upload to unstable · Aug 04, 2024

coqprime release 8.19-2 for unstable (sid)

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

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

debian/8.18-1

96284a98 · Prepare for upload · Dec 21, 2023
```
debian/8.18-1
```
Unverified
upstream/8.18

7afb896d · New upstream version 8.18 · Oct 12, 2023
```
Upstream version 8.18
```
debian/8.17-1

5eb82433 · Prepare for upload · Jun 13, 2023
```
debian/8.17-1
```
Unverified
upstream/8.17

9dee48f2 · New upstream version 8.17 · Jun 08, 2023
```
Upstream version 8.17
```
debian/8.15-2

9a5db5c9 · Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev · Jan 25, 2023
```
debian/8.15-2
```
Unverified
debian/8.15-1

37558fe7 · Initial packaging · Jul 15, 2022
```
debian/8.15-1
```
Unverified
upstream/8.15

b6e31320 · New upstream version 8.15 · Jul 15, 2022
```
Upstream version 8.15
```