The annotated tag, debian/8.3.pl3+dfsg-1_bpo60+1 has been created
at e01732079b72183d326c8ba827fbd39390b824ba (tag)
tagging 2ee61d5995ef572f0124691f10630305a59b4f73 (commit)
replaces debian/8.3.pl2+dfsg-2_bpo60+1
tagged by Stephane Glondu
on Sun Jan 8 11:01:18 2012 +0100
- Shortlog ------------------------------------------------------------
Debian release 8.3.pl3+dfsg-1~bpo60+1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAABCgAGBQJPCWluAAoJEHhT2k1JiBrTrswP+wdLP126Ouy9nYXWOLHjylCb
OLU5GWoQAYh8+AyY5LcmWrxBW3D2s1kW3hQdAupJcWad4Sskt0AAuRoNon7l9Fp/
BRA5JtkXpOuQ4uwjZNIfayGo2rMgibkwdDv4UfHlQ7uD3N7SfDXhTBwBGVgQF4ja
41f7BWUQRivs0McMSgXY6isjzRYLKyc8hbipnBOvPfKdFVSq+2ommJFSBje3DXI9
TpVlhP8z+giONP7kMm1CluoM4Ebl+/26AUXFzWEuA5zjjq22xo803iBTOwT+Pjiv
5tq6pe6PmC9tmmY9D3uPe75unwmDrjsmyQ1M+iqHg+9i9+YR3TiCSkIAahk9gbQn
/nsz/U5Lil6yMeS5E8muJFM5Jq4vrx0LVdJCzjptoRQnaCx6tTbsxuTU3D9DZhdg
VAaZ/YwXxyzWHLBR49JA61qu2kmLhiILmEYDNIJVugb3NnN5RPuvKEFt5+v0aUSs
D4jHV4XM/MZRJCOnwHWYN2tEWOukt4CUoGFHpJd/03BpB2h33pJE1Lr9Vk7qER8j
/2P7rxsXjIXiu7XqiCiOwzKTFyYyoOOkSF+wEw6rMGXZ5/Xtn4pFHuqK5fTuW9cY
3f/IVJZGBLfG/aPSTMQwjOdnMrErlz7ABPyOfUSnFZdq3QHPIjEbf+e1k2uteZ0x
CXXPnhz9SFFLDjOVZa5U
=r+VT
-----END PGP SIGNATURE-----
Stephane Glondu (8):
Imported Upstream version 8.3.pl3
Remove non-DFSG contents
Merge commit 'upstream/8.3.pl3+dfsg'
New upstream release
Remove patch applied upstream
Bump COQ_VERSION
Update changelog and prepare upload to unstable
Prepare upload to squeeze-backports
-----------------------------------------------------------------------
--
coq 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
