Tags

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

archive/debian/1.2.1-4

1eec03ce · Declare fast forward from 1.2.1-3 · Aug 04, 2024

coq-reglang release 1.2.1-4 for unstable (sid) [dgit]

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

656db4b9 · Prepare upload to unstable · Aug 04, 2024

coq-reglang release 1.2.1-4 for unstable (sid)

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

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

debian/1.2.1-2

2a9f522e · Rebuild for binary compatibility · Mar 30, 2024
```
debian/1.2.1-2
```
Unverified
debian/1.2.1-1

c862bacb · Package new upstream 1.2.1 · Jan 20, 2024
```
debian/1.2.1-1
```
Unverified
upstream/1.2.1

e89bca83 · New upstream version 1.2.1 · Jan 20, 2024
```
Upstream version 1.2.1
```
debian/1.2.0-1

a718ad87 · Prepare for upload · Dec 22, 2023
```
debian/1.2.0-1
```
Unverified
upstream/1.2.0

9713426c · New upstream version 1.2.0 · Sep 27, 2023
```
Upstream version 1.2.0
```
debian/1.1.3-4

c5351178 · Fix compilation with recent dune · Jul 06, 2023
```
debian/1.1.3-4
```
Unverified
debian/1.1.3-3

bb0d3d9c · Prepare for upload · Jun 14, 2023
```
debian/1.1.3-3
```
Unverified
debian/1.1.3-2

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

56947665 · Initial packaging · Jul 15, 2022
```
debian/1.1.3-1
```
Unverified
upstream/1.1.3

6a9ca9ae · New upstream version 1.1.3 · Jul 15, 2022
```
Upstream version 1.1.3
```