Tags

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

debian/9.0.0+coq8.20-1

b870517d · Prepare for upload · Jun 25, 2024
```
debian/9.0.0+coq8.20-1
```
Unverified
upstream/9.0.0+coq8.20

ebb78c38 · New upstream version 9.0.0+coq8.20 · Jun 25, 2024
```
Upstream version 9.0.0+coq8.20
```
debian/9.0.0+coq8.19-1

8abc165a · Prepare for upload · Feb 24, 2024
```
debian/9.0.0+coq8.19-1
```
Unverified
upstream/9.0.0+coq8.19

f44014dd · New upstream version 9.0.0+coq8.19 · Feb 09, 2024
```
Upstream version 9.0.0+coq8.19
```
debian/9.0.0+coq8.18-1

d428f74e · Prepare for upload · Dec 21, 2023
```
debian/9.0.0+coq8.18-1
```
Unverified
upstream/9.0.0+coq8.18

bb2a70f2 · New upstream version 9.0.0+coq8.18 · Sep 26, 2023
```
Upstream version 9.0.0+coq8.18
```
debian/8.17.0-3

f7af4840 · Prepare for upload · Jun 12, 2023
```
debian/8.17.0-3
```
Unverified
debian/8.17.0-2

458b5fde · Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev · Jan 25, 2023
```
debian/8.17.0-2
```
Unverified
debian/8.17.0-1

275cecb1 · Package new upstream 8.17.0 · Dec 27, 2022
```
debian/8.17.0-1
```
Unverified
upstream/8.17.0

1cb48ada · New upstream version 8.17.0 · Dec 27, 2022
```
Upstream version 8.17.0
```
debian/8.16.0-1

a139a8fa · Prepare for upload · Aug 22, 2022
```
debian/8.16.0-1
```
Unverified
upstream/8.16.0

88ca59e2 · New upstream version 8.16.0 · Aug 19, 2022
```
Upstream version 8.16.0
```
debian/8.15.0-7

5c0c3fa5 · Prepare for upload · Jun 15, 2022
```
debian/8.15.0-7
```
Unverified
debian/8.15.0-6

a3259759 · Prepare for upload · Jun 14, 2022
```
debian/8.15.0-6
```
Unverified
debian/8.15.0-5

8742e540 · Prepare for upload · Jun 12, 2022
debian/8.15.0-3

f9c05a41 · Prepare for upload · Jun 01, 2022
```
debian/8.15.0-3
```
Unverified
debian/8.15.0-2

1290ab5d · Re-upload to fix ABI breakage · May 22, 2022
```
debian/8.15.0-2
```
Unverified
debian/8.15.0-1

76765131 · Initial packaging · May 05, 2022
```
debian/8.15.0-1
```
Unverified
upstream/8.15.0

54e91f9d · New upstream version 8.15.0 · May 05, 2022
```
Upstream version 8.15.0
```