Tags

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

debian/20240715+ds-1

df0bdcf1 · Prepare for upload · Nov 20, 2024
```
debian/20240715+ds-1
```
Unverified
upstream/20240715+ds

600ed151 · New upstream version 20240715+ds · Aug 26, 2024
```
Upstream version 20240715+ds
```

archive/debian/20231231+ds-4

3b27f2c5 · Declare fast forward from 20231231+ds-3 · Aug 03, 2024

coq-menhirlib release 20231231+ds-4 for unstable (sid) [dgit]

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

debian/20231231+ds-4

f5a34a10 · Prepare upload to unstable · Aug 03, 2024

coq-menhirlib release 20231231+ds-4 for unstable (sid)

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

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

debian/20231231+ds-2

3c959fad · Rebuild for binary compatibility · Mar 30, 2024
```
debian/20231231+ds-2
```
Unverified
debian/20231231+ds-1

f34d6a41 · Package new upstream release 20231231 · Jan 20, 2024
```
debian/20231231+ds-1
```
Unverified
upstream/20231231+ds

147467e9 · New upstream version 20231231+ds · Jan 20, 2024
```
Upstream version 20231231+ds
```
debian/20230608-2

98308cc0 · Prepare for upload · Dec 21, 2023
```
debian/20230608-2
```
Unverified
debian/20230608+ds-1

ce52e623 · Package new upstream 20230608 · Jun 26, 2023
```
debian/20230608+ds-1
```
Unverified
upstream/20230608+ds

4c28d2b9 · New upstream version 20230608+ds · Jun 26, 2023
```
Upstream version 20230608+ds
```
debian/20220210+ds-5

5e389418 · Prepare for upload · Jun 12, 2023
```
debian/20220210+ds-5
```
Unverified
debian/20220210+ds-4

8f55a97b · Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev · Jan 25, 2023
```
debian/20220210+ds-4
```
Unverified
debian/20220210+ds-3

f6daae77 · Prepare for upload · Sep 11, 2022
```
debian/20220210+ds-3
```
Unverified
debian/20220210+ds-2

514bf6db · Re-upload source-only for testing migration · Jul 15, 2022
```
debian/20220210+ds-2
```
Unverified
debian/20220210+ds-1

9fbc5ad3 · Initial packaging · Jul 08, 2022
```
debian/20220210+ds-1
```
Unverified
upstream/20220210+ds

03070003 · New upstream version 20220210+ds · Jul 08, 2022
```
Upstream version 20220210+ds
```