[Pkg-ocaml-maint-commits] [SCM] coq-float packaging annotated tag, debian/8.2-1.2-4, created. debian/8.2-1.2-4

[Stephane Glondu]

The annotated tag, debian/8.2-1.2-4 has been created
        at  df7583d631a02e4bbdfce577918b9f1970b28556 (tag)
   tagging  46216d9e7c6c229a4f15825cd824715363f303dc (commit)
  replaces  debian/8.2-1.2-3
 tagged by  Stephane Glondu
        on  Wed Feb 10 22:07:07 2010 +0100

- Shortlog ------------------------------------------------------------
Debian release 1:8.2-1.2-4
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iQIcBAABCgAGBQJLcx/7AAoJEHhT2k1JiBrTQo4P/AsV5fFlHX8nizZBZTw9DL52
QV3RMP11wGns+tikwkfpyVAj0NJ2vdBZn7NX6u/UBT7mO5R1F94oGNDt7wuN0K88
roUZNeOvpq1O6j1AieO9U0AneYmiZCueZES5N+BtCcheAmJgmTUC4okoEP0dSDCy
RX+t6qnxavZsarGqLriLW3ng6UiJh3INgAKMSCbVgfjqnssA+iYnxTksYE1+msy+
3WnndmstMudc5+4fEY1p5GXrJ+2QNytDrVMS0bbqgRdNtsaHLZrOfmGiXUW+KXUJ
bQ6vk3Rj3J6q/EuaOwtAc/EKVuaNAVIH1LcakgDYXAo2SpGGmdLjJLdUc1nupQrs
hkrMDPnikoua/pPzzxWvOzQ5W3GLv5Ap0oHWK7eI7pUSjF3p7zulKd4xal2W9kEX
ilIM+fCLFzzcpR3YvpT4Mxqw0CIMH7i7Mv7HpkiDF1AF6zNoi3duKZ4aDYw6t17/
OXbfZCeVejzrXoSP3W4cU6Yovl+VIqwCBL+QkQyBROe5aPF9Dhrv8NLVAc5r/tmT
wQXJlFgtsrdcciChLjVOJ94lORn4wvzVuLxbU+pu9LqTknV4a5l97eFQVtRLs5S8
sHexElsuz7TV0Xi76Q5085FsXSrwf0XvJT1zqIHvSNhW7JWh4rZvSKQbYUfeOFUY
g198sFV+CfJTb5l6cJWU
=Cf9O
-----END PGP SIGNATURE-----

Stephane Glondu (2):
      Move *.vo files to user-contrib/Float + various updates
      Prepare upload to unstable

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

-- 
coq-float packaging