The annotated tag, debian/0.2.pl2-4 has been created
at a2a576464a52395ac790075a45a53133cdd34c2c (tag)
tagging 601212342647e60f98279c4e10084cee22965d1d (commit)
replaces debian/0.2.pl2-3
tagged by Stephane Glondu
on Sun Dec 25 17:00:02 2011 +0100
- Shortlog ------------------------------------------------------------
Debian release 0.2.pl2-4
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAABCgAGBQJO90iCAAoJEHhT2k1JiBrTMAIP/ienRghitnDGyliOWssOsKP0
MXlgu/2y5DGaiThgQiWob7duesQVHeEefRcrOqLlWGKN3QdexGrITy8e0h9JGvgU
LVzttH5/5sD/yIAPi93aLqT3qTQf4erPc4n9BePJqyUTqvAQEb0g93FtQ/5If838
WTLDwJUtAUA2aI0gNvHTJz2VAqwvaqfcpu85nOdog8I+ANJmYwvvMgnBydyQkRT9
xa2SQX+zLnutsWVWeBTHQJc++2rmHx7DKAxZceSwDeGd/r4FMpeImnOBOK1pxhZL
OSqARRn1WkS0Tu5RKRd6bLabkyIoQBom+cvYhpl9jdsRTP2nPlPv3gIvMxl7u5DE
lqs7uN2dwDyondWUxWDvXwyXh109bjKd4BRVd6TXr6ToE3ABhzTIytQo7TTPxUYR
/CZw8fwMYZGRfD16avyymxfbO1pBkO6N8i7eLdj0yDX4MuB/77O4r9PeaY+EX3hf
ow/hgN6+A7+yo2aNUfKw5vPo9s78/OuHFv+Y22GAG27bJGvbw70TezphSraLQi7k
bILrwIR3SfvclTkEjjevHnqPlnnErItQ1TE8ifMiEDon9ihKRDboCqZq3BiHtQDs
J8DHlBhtP4WMNpVnhWWOeYvs2q6pSG3TOVHiVYeZfZ6oRi8/wmIMs/ouaT9a7d4p
ccEZ6ImoySjP9uxeOzs/
=BKFk
-----END PGP SIGNATURE-----
Stephane Glondu (1):
Rebuild with Coq 8.3pl3 (no source changes)
-----------------------------------------------------------------------
--
aac-tactics 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
