Tags

Upstream version 8.3

Debian release 1:8.2-1.2-9

Debian release 1:8.2-1.2-8

Debian release 1:8.2-1.2-7

Debian release 1:8.2-1.2-6

Debian release 1:8.2-1.2-5

Debian release 1:8.2-1.2-4

Debian release 1:8.2-1.2-3

Debian release 1:8.2-1.2-2

Debian release 1:8.2-1.2-1

[svn-buildpackage] Tagging coq-float (8.1-1.0-4)

[svn-buildpackage] Tagging coq-float (8.1-1.0-3)

[svn-buildpackage] Tagging coq-float (8.1-1.0-2)

[svn-buildpackage] Tagging coq-float (8.1-1.0-1)

Upstream version 8.1-1.0

Upstream version 2001