[Pkg-ocaml-maint-commits] [SCM] coq-float packaging annotated tag, debian/1%8.4-1, created. debian/1%8.4-1

[Stephane Glondu]

The annotated tag, debian/1%8.4-1 has been created
        at  deea4a0c2d262775f41d77d4bd02ea40c98a44e4 (tag)
   tagging  724af201581b03b63d7f7d9634c38d3f25883bc4 (commit)
  replaces  debian/1%8.3pl1-4
 tagged by  Stephane Glondu
        on  Thu May 9 00:49:27 2013 +0200

- Shortlog ------------------------------------------------------------
coq-float Debian release 1:8.4-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAABCgAGBQJRitZ3AAoJEHhT2k1JiBrToa8P/RTejD/wvdEVjDWVCgtThjZN
RfoFJI5/kyhMD6+Yh1OwKAVDyI7dGAisFZajf9jiD691qT1cTrSHOua/DU9rJsf3
YeTykalPUotJ4Sdg+2Vekk2hPT3Wp2f/p/QUsEGJyUH0cPI8TisGeRckA/DpLhjZ
mO9d1rabe0ZbsNN135uuIRyqXdNnlXoq30TTAcV/Lw/D0CbSyydv5uzFDPjPacgH
sMQ3sniYCyiK02va9KQXywo8+gGd8ujZL4b8rXepDKVH5BxMk9ezthRJMjYOh/Tx
EOyMQjbLJ4VGVCXiogSnH+VrnXc56DKOGtFcWkYNJ0HBJTaWVOt6UDRJfUquIbt3
prC0muAjevIhCdRtTHBbcW86oWEzGgIvMfk1DCwVs89BF53KQ/+nJkQ3OCz3F5zJ
jMFSBGVd2IojArTm0P3yOH2PopmD6S+HHKuPjFteakuIiS5WqoNTYE3qmnW2Cdhr
MiGcbjJ7hnkY63rTKbIFpDojO4r6fShA3ku0sUb4nI7isgU/Txm7E3SrlrsV/+Zz
4Jl/1IBJGXpAX7u+IVyys/c4k2aICZ0JgednKGS7q77FqBXF/ZpP2x1n98BOJ/Ro
M+I3kXkbFavwCj/eqZJjFMt3IERFNrwFGpxMbKMivr/Ak6VLCw9iRZXerupKsZ6q
o9bZeHUADxBbJNPNmV2H
=/qyo
-----END PGP SIGNATURE-----

Stephane Glondu (7):
      Imported Upstream version 8.4
      Merge tag 'upstream/8.4'
      New upstream release
      Use format version 1.0 in debian/copyright
      Bump Standards-Version to 3.9.4
      Bump debhelper compat level to 9
      Update changelog and prepare upload to unstable

-----------------------------------------------------------------------

-- 
coq-float packaging