Tags

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

archive/debian/2.0.8-4

b13d6267 · Declare fast forward from 2.0.8-3 · Aug 03, 2024

coq-libhyps release 2.0.8-4 for unstable (sid) [dgit]

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

5172e840 · Prepare upload to unstable · Aug 03, 2024

coq-libhyps release 2.0.8-4 for unstable (sid)

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

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

debian/2.0.8-3

915462a6 · Fix target distribution · Apr 26, 2024
```
debian/2.0.8-3
```
Unverified
debian/2.0.8-2

7cb73cea · Rebuild for binary compatibility · Mar 30, 2024
```
debian/2.0.8-2
```
Unverified
debian/2.0.8-1

2bfd9cf1 · Prepare for upload · Dec 21, 2023
```
debian/2.0.8-1
```
Unverified
upstream/2.0.8

4c14b181 · New upstream version 2.0.8 · Dec 20, 2023
```
Upstream version 2.0.8
```
debian/2.0.6-3

3070bc47 · Prepare for upload · Jun 12, 2023
```
debian/2.0.6-3
```
Unverified
debian/2.0.6-2

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

bd7f1a59 · Initial packaging · Sep 23, 2022
```
debian/2.0.6-1
```
Unverified
upstream/2.0.6

410bdfdf · New upstream version 2.0.6 · Sep 23, 2022
```
Upstream version 2.0.6
```