Tags

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

debian/4.3.0-1

1bca9a30 · Prepare for upload · Nov 20, 2024
```
debian/4.3.0-1
```
Unverified
upstream/4.3.0

720488c8 · New upstream version 4.3.0 · Oct 31, 2024
```
Upstream version 4.3.0
```

archive/debian/4.2.0-3

8b522381 · Declare fast forward from 4.2.0-2 · Aug 04, 2024

coq-iris release 4.2.0-3 for unstable (sid) [dgit]

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

d9d10118 · Prepare upload to unstable · Aug 04, 2024

coq-iris release 4.2.0-3 for unstable (sid)

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

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

debian/4.2.0-2

e7007357 · Add (upstream) patch for longer timeouts to unbreak riscv64 · Jun 10, 2024
```
debian/4.2.0-2
```
Unverified
debian/4.2.0-1

602b4bc6 · Prepare for upload · Apr 12, 2024
```
debian/4.2.0-1
```
Unverified
upstream/4.2.0

4f6afd3b · New upstream version 4.2.0 · Apr 12, 2024
```
Upstream version 4.2.0
```
debian/4.1.0-1

910cde6b · Prepare for upload · Dec 21, 2023
```
debian/4.1.0-1
```
Unverified
upstream/4.1.0

139d8c43 · New upstream version 4.1.0 · Oct 12, 2023
```
Upstream version 4.1.0
```
debian/4.0.0-4

4d1a3c00 · Prepare for upload · Jun 13, 2023
```
debian/4.0.0-4
```
Unverified
debian/4.0.0-3

bdd98e42 · Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev · Jan 25, 2023
```
debian/4.0.0-3
```
Unverified
debian/4.0.0-2

ae3ae785 · Work around a dh-coq limitation · Sep 11, 2022
```
debian/4.0.0-2
```
Unverified
debian/4.0.0-1

5b1f5be5 · Prepare for upload · Aug 19, 2022
```
debian/4.0.0-1
```
Unverified
upstream/4.0.0

0366c00c · New upstream version 4.0.0 · Aug 19, 2022
```
Upstream version 4.0.0
```
debian/3.6.0-1

510ba011 · Initial packaging · Jul 14, 2022
```
debian/3.6.0-1
```
Unverified
upstream/3.6.0

3bd1934b · New upstream version 3.6.0 · Jul 14, 2022
```
Upstream version 3.6.0
```