Tags

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

debian/1%8.10.0-1

a7946ecd · add d/upstream · Mar 16, 2020
```
coq-float Debian release 1:8.10.0-1
```
upstream/8.10.0

ec915f58 · New upstream version 8.10.0 · Mar 16, 2020
```
Upstream version 8.10.0
```

archive/debian/1%8.9.0-1

ce2b472c · Declare fast forward from 1:8.4-5 · Feb 01, 2020

coq-float release 1:8.9.0-1 for unstable (sid) [dgit]

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

Unverified

debian/1%8.9.0-1

e0c5b095 · Remove debian/source/local-options · Feb 01, 2020

coq-float release 1:8.9.0-1 for unstable (sid)

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

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

Unverified

upstream/8.9.0

0dfffba6 · New upstream version 8.9.0 · Feb 01, 2020
```
Upstream version 8.9.0
```
upstream/8.8.0

733ff27c · New upstream version 8.8.0 · Feb 01, 2020
```
Upstream version 8.8.0
```
upstream/8.7.0

71061de0 · New upstream version 8.7.0 · Feb 01, 2020
```
Upstream version 8.7.0
```
upstream/8.6.0

ba1a3cf9 · New upstream version 8.6.0 · Feb 01, 2020
```
Upstream version 8.6.0
```
upstream/8.5.0

f1d099b4 · New upstream version 8.5.0 · Feb 01, 2020
```
Upstream version 8.5.0
```
debian/1%8.4-5

2cf42781 · Recompile with OCaml 4.02.3 · Oct 14, 2015
```
coq-float Debian release 1:8.4-5
```
Unverified
debian/1%8.4-4

a83b9b9b · Recompile with coq 8.4pl4 · Jul 30, 2014
```
Debian release 1:8.4-4
```
Unverified
debian/1%8.4-3

2ac7c484 · Update changelog and prepare upload to unstable · Jan 20, 2014
```
coq-float Debian release 1:8.4-3
```
Unverified
debian/1%8.4-2

22c151a5 · Prepare upload to unstable · Dec 07, 2013
```
coq-float Debian release 1:8.4-2
```
Unverified
debian/1%8.4-1

724af201 · Update changelog and prepare upload to unstable · May 08, 2013
```
coq-float Debian release 1:8.4-1
```
Unverified
upstream/8.4

7acde75d · Imported Upstream version 8.4 · May 08, 2013
```
Upstream version 8.4
```
debian/1%8.3pl1-4

848fff6e · Recompile with camlp5 6.06 (no changes) · Jun 06, 2012
```
Debian release 1:8.3pl1-4
```
Unverified
debian/1%8.3pl1-3

a6c197cc · Prepare upload to unstable · Mar 30, 2012
```
Debian release 1:8.3pl1-3
```
Unverified
debian/1%8.3pl1-2

bc4b4a96 · Recompile with camlp5 6.04 (no changes) · Mar 06, 2012
```
Debian release 1:8.3pl1-2
```
Unverified
debian/1%8.3pl1-1

b4035ef4 · Update changelog and prepare upload to unstable · Jan 09, 2012
```
Debian release 1:8.3pl1-1
```
Unverified
upstream/8.3pl1

24e43098 · Imported Upstream version 8.3pl1 · Jan 09, 2012
```
Upstream version 8.3pl1
```