Tags

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

debian/0.2.1-1

3501a173 · Package new upstream 0.2.1 · Dec 18, 2024
```
debian/0.2.1-1
```
Unverified
upstream/0.2.1

9bea366d · New upstream version 0.2.1 · Dec 04, 2024
```
Upstream version 0.2.1
```

archive/debian/0.2.0-3

44621bc0 · Declare fast forward from 0.2.0-2 · Aug 04, 2024

coq-deriving release 0.2.0-3 for unstable (sid) [dgit]

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

bb138633 · Prepare upload to unstable · Aug 04, 2024

coq-deriving release 0.2.0-3 for unstable (sid)

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

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

debian/0.2.0-2

a4cc7e84 · Prepare for upload · Feb 24, 2024
```
debian/0.2.0-2
```
Unverified
debian/0.2.0-1

cd840ab1 · Prepare for upload · Dec 22, 2023
```
debian/0.2.0-1
```
Unverified
upstream/0.2.0

22b3bd95 · New upstream version 0.2.0 · Sep 27, 2023
```
Upstream version 0.2.0
```
debian/0.1.1-1

5d9bb819 · Prepare for upload · Jun 14, 2023
```
debian/0.1.1-1
```
Unverified
upstream/0.1.1

c1b5f103 · New upstream version 0.1.1 · Jun 08, 2023
```
Upstream version 0.1.1
```
debian/0.1.0-2

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

ffe300fb · Initial packaging · Jul 16, 2022
```
debian/0.1.0-1
```
Unverified
upstream/0.1.0

2806bcdf · New upstream version 0.1.0 · Jul 16, 2022
```
Upstream version 0.1.0
```