Tags

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

debian/1.7.0-1

5c7b781a · Prepare for upload · Feb 20, 2025
```
debian/1.7.0-1
```
Unverified
upstream/1.7.0

46ddacc6 · New upstream version 1.7.0 · Feb 20, 2025
```
Upstream version 1.7.0
```
debian/1.6.0-1

35e29797 · Prepare for upload · Jan 23, 2025
```
debian/1.6.0-1
```
Unverified
upstream/1.6.0

ad100135 · New upstream version 1.6.0 · Jan 23, 2025
```
Upstream version 1.6.0
```

archive/debian/1.5.5-2

b947793b · Declare fast forward from 1.5.5-1 · Aug 04, 2024

coq-gappa release 1.5.5-2 for unstable (sid) [dgit]

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

9465c3ca · Prepare upload to unstable · Aug 04, 2024

coq-gappa release 1.5.5-2 for unstable (sid)

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

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

debian/1.5.5-1

5bdce168 · Package new upstream 1.5.5 · Feb 24, 2024
```
debian/1.5.5-1
```
Unverified
upstream/1.5.5

ff716edc · New upstream version 1.5.5 · Feb 24, 2024
```
Upstream version 1.5.5
```
debian/1.5.4-1

0b5f7cee · Prepare for upload · Dec 21, 2023
```
debian/1.5.4-1
```
Unverified
upstream/1.5.4

172b5338 · New upstream version 1.5.4 · Sep 27, 2023
```
Upstream version 1.5.4
```
debian/1.5.3-1

3717d66c · Prepare for upload · Jun 13, 2023
```
debian/1.5.3-1
```
Unverified
upstream/1.5.3

888e016a · New upstream version 1.5.3 · Jun 08, 2023
```
Upstream version 1.5.3
```
debian/1.5.2-5

5d45114a · Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev · Jan 25, 2023
```
debian/1.5.2-5
```
Unverified
debian/1.5.2-4

cca220b6 · Prepare for upload · Sep 05, 2022
```
debian/1.5.2-4
```
Unverified
debian/1.5.2-2

994b5277 · Complete d/copyright · Jul 19, 2022
```
debian/1.5.2-2
```
Unverified
debian/1.5.2-1

fb7986d2 · Initial packaging · Jul 15, 2022
```
debian/1.5.2-1
```
Unverified
upstream/1.5.2

c035a6b3 · New upstream version 1.5.2 · Jul 15, 2022
```
Upstream version 1.5.2
```