Tags

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

debian/1.1.3+coq8.20-1

6ada0a51 · Prepare for upload · Nov 20, 2024
```
debian/1.1.3+coq8.20-1
```
Unverified
upstream/1.1.3+coq8.20

56db627e · New upstream version 1.1.3+coq8.20 · Sep 16, 2024
```
Upstream version 1.1.3+coq8.20
```
archive/debian/1.1.3+coq8.19-2

ebe086f2 · Declare fast forward from 1.1.3+coq8.19-1 · Aug 04, 2024
```
paramcoq release 1.1.3+coq8.19-2 for unstable (sid) [dgit]

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

debian/1.1.3+coq8.19-2

2339b7f7 · Prepare upload to unstable · Aug 04, 2024

paramcoq release 1.1.3+coq8.19-2 for unstable (sid)

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

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

Unverified

debian/1.1.3+coq8.19-1

b4b625f1 · Prepare for upload · Feb 24, 2024
```
debian/1.1.3+coq8.19-1
```
Unverified
debian/1.1.3+coq8.18-1

57398d42 · Prepare for upload · Dec 21, 2023
```
debian/1.1.3+coq8.18-1
```
Unverified
upstream/1.1.3+coq8.19

56109e16 · New upstream version 1.1.3+coq8.19 · Dec 20, 2023
```
Upstream version 1.1.3+coq8.19
```
upstream/1.1.3+coq8.18

c41cf211 · New upstream version 1.1.3+coq8.18 · Sep 27, 2023
```
Upstream version 1.1.3+coq8.18
```
debian/1.1.3+coq8.17-2

9790c257 · Make the package depend on abi-versioned libcoq-stdlib (Closes: #1041869) · Jul 25, 2023
```
debian/1.1.3+coq8.17-2
```
Unverified
debian/1.1.3+coq8.17-1

937bf473 · Prepare for upload · Jun 12, 2023
```
debian/1.1.3+coq8.17-1
```
Unverified
upstream/1.1.3+coq8.17

fbd2f3de · New upstream version 1.1.3+coq8.17 · Jun 08, 2023
```
Upstream version 1.1.3+coq8.17
```
debian/1.1.3+coq8.16-3

52e651ea · Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. · Jan 25, 2023
```
debian/1.1.3+coq8.16-3
```
Unverified
debian/1.1.3+coq8.16-2

e42eeea9 · Prepare for upload · Sep 13, 2022
```
debian/1.1.3+coq8.16-2
```
Unverified
debian/1.1.3+coq8.16-1

6eefbe05 · Prepare for upload · Sep 05, 2022
```
debian/1.1.3+coq8.16-1
```
Unverified
upstream/1.1.3+coq8.16

c69c09b1 · New upstream version 1.1.3+coq8.16 · Aug 22, 2022
```
Upstream version 1.1.3+coq8.16
```
debian/1.1.3-7

709c48f3 · Prepare for upload · Jun 11, 2022
```
debian/1.1.3-7
```
Unverified
debian/1.1.3-6

5113f88c · Prepare for upload · Jun 08, 2022
```
debian/1.1.3-6
```
Unverified
debian/1.1.3-5

46f0cc7f · Prepare for upload · Jun 03, 2022
```
debian/1.1.3-5
```
Unverified
debian/1.1.3-4

79475e0a · Re-upload because of ABI breakage · Jun 01, 2022
```
debian/1.1.3-4
```
Unverified
debian/1.1.3-3

129c9507 · Re-upload because of ABI breakage · May 22, 2022
```
debian/1.1.3-3
```
Unverified