[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, debian/8.2.pl2+dfsg-2, created. debian/8.2.pl2+dfsg-2
Stephane Glondu
steph at glondu.net
Mon Feb 21 20:47:44 UTC 2011
The annotated tag, debian/8.2.pl2+dfsg-2 has been created
at cf6bcda4de3e8510cf68f7441b4e1b8dae9c78d7 (tag)
tagging 9a65bba53c76358913f02222c968c5880ea34208 (commit)
replaces debian/8.2.pl2+dfsg-1
tagged by Stephane Glondu
on Mon Feb 21 21:45:23 2011 +0100
- Shortlog ------------------------------------------------------------
Debian release 8.2.pl2+dfsg-2
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAABCgAGBQJNYs7jAAoJEHhT2k1JiBrTCNUQAIrsGGkywLunh5Ptn/5OXLhn
oH3VbGz3x4Gdeg5XTZVNRf18eb6MqnP20m1nni2VTTnnuBTfpWTe77mW9khvYQXj
XTHDHmBCyQRTwoP5pJu9CqILIgkN5weOhke8isHEp3Aq++aEtJc+6p+oH2NN32A8
RjryoO0mW1sUJXThht2uJaSph9J4rcv5/d3XU/l7lt6JO6+tEzHdb7eqaAHq+T0P
ntWEE50ARo3qxrbAuYU4m+GG02HY2i9i08kNEWUJcZUMjNcHDcZfL5vVi0HEarPe
UuTBFYiAAFw5E+df0JhL+gamxcVL22I9e8GOE/g8SNmrKxDkcs/wg9PqLYuOjp1/
lWBimbH0r2cDuTiTT0X0iXbdbzVq9e271Uj3JiQ7xGMo4Yoq1kXkh9/K93Jj8eyu
JI13Ij8AySnES+F9hCIZw3b5cdD2NEiha9YZLWrU2GRm/erU52ZezpHfCKGueeCd
8w0fDkv5rsZQrs2c/v0j20v6z4fm/eAG44BqdGUqcWiTYJ/fl+kZyQNIxCbkpUYX
foeo3AQDxV0IC9ulZ+0GH5q9+8D8SdVW9b0lI0+CLVxt1CT/fP21mXmfoUJRraAm
aHk9FxGsDlf2jExASKY6GbcO/qXOADXKWZxJHJSKsko7pqUyv4zbZLKw+jmFil2E
z3EZ/UHgiIlmgnVKCcr8
=RkXK
-----END PGP SIGNATURE-----
Stephane Glondu (3):
Refresh patches
Add Fix-build-with-camlp5-6.02.1.patch
Update changelog and prepare upload to unstable
-----------------------------------------------------------------------
--
coq packaging
More information about the Pkg-ocaml-maint-commits
mailing list