Tags

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

upstream/0.20.0

524769cc · New upstream version 0.20.0 · Dec 25, 2021
```
Upstream version 0.20.0
```
upstream/0.19.0

b32eec15 · New upstream version 0.19.0 · Dec 25, 2021
```
Upstream version 0.19.0
```
upstream/0.18.0

99e6de93 · New upstream version 0.18.0 · Dec 25, 2021
```
Upstream version 0.18.0
```
upstream/0.17.0

1b55102c · New upstream version 0.17.0 · Dec 25, 2021
```
Upstream version 0.17.0
```
upstream/0.16.0

82c25191 · New upstream version 0.16.0 · Dec 25, 2021
```
Upstream version 0.16.0
```

archive/debian/0.15.0-1

fde1a2ad · Make fast forward from 0.14.0-1 · Nov 08, 2020

ppxlib release 0.15.0-1 for unstable (sid) [dgit]

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

debian/0.15.0-1

0291f0a1 · Prepare upload to unstable · Nov 08, 2020

ppxlib release 0.15.0-1 for unstable (sid)

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

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

upstream/0.15.0

26b17337 · New upstream version 0.15.0 · Nov 08, 2020
```
Upstream version 0.15.0
```

archive/debian/0.14.0-1

e4694484 · Make fast forward from 0.12.0-1 · Jul 25, 2020

ppxlib release 0.14.0-1 for unstable (sid) [dgit]

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

debian/0.14.0-1

fef01adc · Prepare upload to unstable · Jul 25, 2020

ppxlib release 0.14.0-1 for unstable (sid)

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

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

upstream/0.14.0

8168b5bb · New upstream version 0.14.0 · Jul 25, 2020
```
Upstream version 0.14.0
```
upstream/0.13.0

fabe5981 · New upstream version 0.13.0 · Jul 25, 2020
```
Upstream version 0.13.0
```

archive/debian/0.12.0-1

59b25408 · Declare fast forward from 0.8.1-1 · Jan 13, 2020

ppxlib release 0.12.0-1 for unstable (sid) [dgit]

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

debian/0.12.0-1

7cec7d9b · Update changelog and prepare upload to unstable · Jan 13, 2020

ppxlib release 0.12.0-1 for unstable (sid)

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

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

upstream/0.12.0

b1a85acc · New upstream version 0.12.0 · Jan 13, 2020
```
Upstream version 0.12.0
```
upstream/0.11.0

d9ffc733 · New upstream version 0.11.0 · Jan 13, 2020
```
Upstream version 0.11.0
```
upstream/0.10.0

8f8e2908 · New upstream version 0.10.0 · Jan 13, 2020
```
Upstream version 0.10.0
```
upstream/0.9.0

8bedc339 · New upstream version 0.9.0 · Jan 13, 2020
```
Upstream version 0.9.0
```
debian/0.8.1-1

1df5ee1d · Prepare upload to unstable · Aug 28, 2019
```
ppxlib Debian release 0.8.1-1
```
Unverified
upstream/0.8.1

ec68b4ce · New upstream version 0.8.1 · Aug 16, 2019
```
Upstream version 0.8.1
```

Prev
1
2
3
Next