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

[Stephane Glondu]

The annotated tag, debian/1%8.3pl1-4 has been created
        at  e302d07f0d7b2e5462eaafc6158bc92ca7f6b5d8 (tag)
   tagging  848fff6e04bf956cb06579cfc917c1c1d226e161 (commit)
  replaces  debian/1%8.3pl1-3
 tagged by  Stephane Glondu
        on  Wed Jun 6 23:30:08 2012 +0200

- Shortlog ------------------------------------------------------------
Debian release 1:8.3pl1-4
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAABCgAGBQJPz8vhAAoJEHhT2k1JiBrTm1QP/RAvXWcm/39xxn1KeBJaYyEH
JC+v/Mw7a6+32Gu9u7nynmxhDI1BDypRPNptbZ6+FCnU90PZxttWywZHEQnYDquJ
jK5GN+DVYl1n8PQrpOHhh17nzh0n3U5J4NRy9RnNpcG9mSsoBzajvbcoMUCvgjnr
+fld2bn01TjEComdQByga6g7AWYjIko3eMzQFOxGAIABZVhsdAEwP46fuXaLKhY5
O9doVx/QkOuxzAS2MGOxJ9vewCMINscCTfpRh/p2bqjGEPxITGGA2y1SG2e9OYi8
vIEeFBvBgIavaV0RGtpe8AS3Ghm7JCNwmnpzq/klcDdRsSWsnzDR5K2pM504JkEq
XN2URs6PgYPuvPqVR5KQkQJDTONulTC2tw3zz6txzxxe+6WaQPc9HIW+Y3mpgMu8
rP71zxhaQ+6f7GChW+Eoi1hwCVFS+42NlQghtl0VuqMRcI8iuJ8FLlCVRsQRtfF3
gn6MbVe/1gtnV/GbFV7o0gJ7WCU+cFZBNDR8JqpkHLFdXcDfttIbmKaP/r9iqPUI
QoG90hkXA7DzgaUj2o3bsxHN5yu0Fn2hsdwarqMrfgc6jWQf8ZiFK31BoA63wgdW
Onwljrflu7KkWcxj9lWCrA29vkm1VwK2fAUeOZFtATmhuJnTU7chXFglSbwwYsuS
Vc9Dl3iGVSFUdhzheRu9
=0x3K
-----END PGP SIGNATURE-----

Stephane Glondu (1):
      Recompile with camlp5 6.06 (no changes)

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

-- 
coq-float packaging