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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits