The annotated tag, debian/0.5.8-3 has been created
at 7ac03bfc2f9b569eca851cc7bfe26e1a0cb99e3f (tag)
tagging 932c23c6b9eb3ae0d63dd200b77d1fa8d529ce8d (commit)
replaces debian/0.5.8-2
tagged by Stephane Glondu
on Tue May 31 11:35:48 2011 +0200
- Shortlog ------------------------------------------------------------
Debian release 0.5.8-3
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAABCgAGBQJN5LZ0AAoJEHhT2k1JiBrTKrQP/2NOzI6q+XCjMJJ6HHqTNhC5
S6Q61gvLtxCC+BhlYsNPGbHed83AD42LOfYpOeM82yhOAr2QQbCeV46MbyVUR2Yk
6aDhqThezhxiA8kVqLrsybzgx5h7afWVbSakTBbkKeNZbypbPDtgBqp+H7Z42ODT
8dAYmQkAzxtPTHELKv2j3wwcQYgjow32vzbwAZ3f4gw2FkNo0NEvvKt5ERr+XAQp
2ljL1WCWXstQGBlRKOaIVEYzSuSrsYH/b9kproN5JSazwF6b3mC+9BlD15PR7gJH
FLYaxwpgrckRSvuq1bXdXNai8qMVuzGKTIaoUD+xoD0JVNXkf6o57BftRSs1LuYr
xDXPN8goZTr9xfP1aMDhA69IOJ7wgYN89+W/OzAGn5r63fODfXebqltHT1No12c8
1Ed7FQ/rzh89TCGrWE8pS8Lwpxa5MXLZgZzArjIrUD0bU/7409NswRBT6tj7qXvs
MADwkFSvv4IYmBOh8JBz+1eoQdql1JtTRMooyvIvhg3ITf3Cb3DbS7F/oH76fLaH
vhqPww3WVIq264i9BRa/bt7+RYYPRsrME+Qv8Sh5Mti+FKYrNVIHR8loNT85RzDv
Dy6E3bhR3aNRqTIAhqKinnjFenEM+EBzxWoBl6cj4Jk97EbqAzp9PxuW7Fk0UIIV
38huOzBvouH48teHXHYP
=/4Db
-----END PGP SIGNATURE-----
Enrico Tassi (1):
uploaded
Stephane Glondu (8):
Switch packaging to git
Port to current OCaml/CamlP5 (Closes: #612891)
Wrap Build-Depends
Switch patches to quilt
Complete switch to 3.0 (quilt) source format
Add reference to bug report in patch
Remove Stefano from Uploaders
Update changelog and prepare upload to unstable
-----------------------------------------------------------------------
--
matita 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
