Tags

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

debian/1.17.4-2

a2c37fbd · Reenable all architectures (just to see) · Dec 31, 2023
```
debian/1.17.4-2
```
Unverified
debian/1.17.4-1

76f4f307 · Prepare for upload · Dec 21, 2023
```
debian/1.17.4-1
```
Unverified
upstream/1.18.1

348533bd · New upstream version 1.18.1 · Dec 05, 2023
```
Upstream version 1.18.1
```
upstream/1.18.0

1906ecf3 · New upstream version 1.18.0 · Nov 03, 2023
```
Upstream version 1.18.0
```
upstream/1.17.4

69a3cc54 · New upstream version 1.17.4 · Oct 12, 2023
```
Upstream version 1.17.4
```
upstream/1.17.3

7b334571 · New upstream version 1.17.3 · Sep 26, 2023
```
Upstream version 1.17.3
```
debian/1.17.0-1

36caacd9 · Package new upstream 1.17.0 · Jul 25, 2023
```
debian/1.17.0-1
```
Unverified
upstream/1.17.0

78ecf80c · New upstream version 1.17.0 · Jul 25, 2023
```
Upstream version 1.17.0
```
archive/debian/1.16.10-3

5c1e40a8 · Declare fast forward from 1.16.10-2 · Jul 12, 2023
```
elpi release 1.16.10-3 for unstable (sid) [dgit]

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

debian/1.16.10-3

6d6ecb28 · Update changelog and prepare upload to unstable · Jul 12, 2023

elpi release 1.16.10-3 for unstable (sid)

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

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

debian/1.16.10-2

24aefce3 · Fix compilation with recent dune · Jul 06, 2023
```
debian/1.16.10-2
```
Unverified
debian/1.16.10-1

6799ffc9 · Prepare for upload · Jun 12, 2023
```
debian/1.16.10-1
```
Unverified
upstream/1.16.10

45a12db4 · New upstream version 1.16.10 · Jun 07, 2023
```
Upstream version 1.16.10
```
debian/1.16.8-1

afcdec11 · Prepare for upload · Dec 07, 2022
```
debian/1.16.8-1
```
Unverified
upstream/1.16.8

d03bbc84 · New upstream version 1.16.8 · Nov 30, 2022
```
Upstream version 1.16.8
```
debian/1.16.7-2

7d5ff785 · Limit the architectures on which the package builds · Oct 26, 2022
```
debian/1.16.7-2
```
Unverified
debian/1.16.7-1

29810fc6 · Prepare for upload · Oct 24, 2022
```
debian/1.16.7-1
```
Unverified
upstream/1.16.7

0eaf5240 · New upstream version 1.16.7 · Oct 23, 2022
```
Upstream version 1.16.7
```
debian/1.16.5-4

32148246 · Prepare for upload · Sep 13, 2022
```
debian/1.16.5-4
```
Unverified
debian/1.16.5-3

517cdbe8 · Prepare for upload · Sep 12, 2022
```
debian/1.16.5-3
```
Unverified

Prev
1
2
3
Next