Tags

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

debian/1.7.11-1

91d9fe48 · Prepare for upload · Nov 20, 2024
```
debian/1.7.11-1
```
Unverified
upstream/1.7.11

400003ca · New upstream version 1.7.11 · Sep 18, 2024
```
Upstream version 1.7.11
```

archive/debian/1.7.10-4

c5b2b43a · Declare fast forward from 1.7.10-3 · Aug 04, 2024

coq-relation-algebra release 1.7.10-4 for unstable (sid) [dgit]

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

debian/1.7.10-4

ecbd03d3 · Prepare upload to unstable · Aug 04, 2024

coq-relation-algebra release 1.7.10-4 for unstable (sid)

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

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

debian/1.7.10-3

203e9997 · Fix target distribution · Apr 26, 2024
```
debian/1.7.10-3
```
Unverified
debian/1.7.10-2

bd6f08c9 · Rebuild for binary compatibility · Mar 30, 2024
```
debian/1.7.10-2
```
Unverified
debian/1.7.10-1

accf2f24 · Prepare for upload · Jan 25, 2024
```
debian/1.7.10-1
```
Unverified
upstream/1.7.10

de0cee42 · New upstream version 1.7.10 · Jan 24, 2024
```
Upstream version 1.7.10
```
debian/1.7.9-2

687d9003 · Prepare for upload · Dec 22, 2023
```
debian/1.7.9-2
```
Unverified
debian/1.7.9-1

636cb6ed · Prepare for upload · Jun 14, 2023
```
debian/1.7.9-1
```
Unverified
upstream/1.7.9

895b0a65 · New upstream version 1.7.9 · Jun 08, 2023
```
Upstream version 1.7.9
```
debian/1.7.8-2

89b8320b · Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev · Jan 25, 2023
```
debian/1.7.8-2
```
Unverified
debian/1.7.8-1

6c134b72 · Initial packaging · Sep 11, 2022
```
debian/1.7.8-1
```
Unverified
upstream/1.7.8

66045a22 · New upstream version 1.7.8 · Sep 08, 2022
```
Upstream version 1.7.8
```