Tags

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

debian/1.3.1-8.20-1

09a67cc8 · Prepare for upload · Nov 20, 2024
```
debian/1.3.1-8.20-1
```
Unverified
upstream/1.3.1-8.20

38023797 · New upstream version 1.3.1-8.20 · Sep 16, 2024
```
Upstream version 1.3.1-8.20
```

archive/debian/1.3-8.19-2

bfd4b625 · Declare fast forward from 1.3-8.19-1 · Aug 04, 2024

coq-equations release 1.3-8.19-2 for unstable (sid) [dgit]

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

debian/1.3-8.19-2

a7a78ea5 · Prepare upload to unstable · Aug 04, 2024

coq-equations release 1.3-8.19-2 for unstable (sid)

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

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

debian/1.3-8.19-1

d81a6357 · Prepare for upload · Feb 24, 2024
```
debian/1.3-8.19-1
```
Unverified
upstream/1.3-8.19

dba284c3 · New upstream version 1.3-8.19 · Feb 24, 2024
```
Upstream version 1.3-8.19
```
debian/1.3-8.18-1

3328a914 · Prepare for upload · Dec 21, 2023
```
debian/1.3-8.18-1
```
Unverified
upstream/1.3-8.18

b29d4d56 · New upstream version 1.3-8.18 · Sep 27, 2023
```
Upstream version 1.3-8.18
```
debian/1.3-8.17-2

a3a28cdd · Prepare for upload · Sep 01, 2023
```
debian/1.3-8.17-2
```
Unverified
debian/1.3-8.17-1

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

f15b6e8d · New upstream version 1.3-8.17 · Jun 08, 2023
```
Upstream version 1.3-8.17
```
debian/1.3-8.16-2

91107da4 · Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev · Jan 25, 2023
```
debian/1.3-8.16-2
```
Unverified
debian/1.3-8.16-1

fac22fba · Prepare for upload · Aug 22, 2022
```
debian/1.3-8.16-1
```
Unverified
upstream/1.3-8.16

73b7a0d5 · New upstream version 1.3-8.16 · Aug 22, 2022
```
Upstream version 1.3-8.16
```
debian/1.3-8.15-2

59bc2f1e · Prepare for upload · Jul 14, 2022
```
debian/1.3-8.15-2
```
Unverified
debian/1.3-8.15-1

c48d060b · Initial packaging · Jul 08, 2022
```
debian/1.3-8.15-1
```
Unverified
upstream/1.3-8.15

5cda6c24 · New upstream version 1.3-8.15 · Jun 27, 2022
```
Upstream version 1.3-8.15
```