[Pkg-ocaml-maint-commits] [SCM] matita packaging annotated tag, debian/0.5.8-4, created. debian/0.5.8-4

[Stephane Glondu]

The annotated tag, debian/0.5.8-4 has been created
        at  520ddacf57f9890b914c0feabbe63fe4e0735e0c (tag)
   tagging  81f446c547f03a0d007be3a1802ee6075a0e20e2 (commit)
  replaces  debian/0.5.8-3
 tagged by  Stephane Glondu
        on  Sun Apr 1 12:48:02 2012 +0200

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

iQIcBAABCgAGBQJPeDJiAAoJEHhT2k1JiBrTotAP/3KylfgKzvi/WR6wxnfg5nte
8uZQX30Giz8tqZjkVqc2BYoGF6P9gpRjyesiDmxkoCYM5lruqdkc4JV57HKnroQQ
8EGy4q8MsqStMxCPJ3lUQhwSmPKOdNbI6iWpWsB4jDLt+03Bzu5lRuUgzrSPQY+G
RKzZ3LD7CzqaPIYu3enxQXHmbYo2CX4MqXW7RN9J56aA56Txv2XNviNcu7387w/c
2GbHEnCifMlcknj87UkN57JSkyttVwER+ArJmCsT29xtWUAEzKQNSrfB8MkaxjOB
tCEYh069ykts0ax4CZ2844Q2eHAIbkhxwx7DgpYYXKTiL/XbwAFqfmSkXbIhBEIw
nVmvTVO8QjnNjtEyX2Q3DgdCa5GUhbcTWo6+p0fis2SqDBDWUFiP+acUhN58RQj/
8m5dIuuFEbfoqgg7NspNX8yXHpzPlWViimqWGD1ItYbVt+Fn2Mk3ltbyOvhacLEE
t6h/NAmWUss62QptYMs0+9XbX38xcIBIWvvcEQeOzEDeJmkpTDJbd/17Feq/uM4l
nPNFPAPdTUZqPDd2xEoenE1kzbRUCk6U7exDIySkOtOoc7s4AuKItNUxubqFWkHk
c5r5Ij57vQe/EUXdg7YC1e6LkJ63PogLhGcTXbv4dImX8HMewabn6nxiumHhkqI6
riPbC0Ghn4wJeDfmj0xH
=KWKp
-----END PGP SIGNATURE-----

Stephane Glondu (3):
      Fix FTBFS with camlp5 6.05
      Update changelog
      Refer to #666594 and prepare upload to unstable

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

-- 
matita packaging