[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, debian/8.4dfsg-1, created. debian/8.4dfsg-1

[Stephane Glondu]

The annotated tag, debian/8.4dfsg-1 has been created
        at  3c42c51a568ed428e6f49f7c6825539c581197d3 (tag)
   tagging  e0356f0d6ec9310a3863f1983f7264847be3c274 (commit)
  replaces  debian/8.4_gamma0+really8.4beta2+dfsg-1
 tagged by  Stephane Glondu
        on  Mon Aug 20 21:57:52 2012 +0200

- Shortlog ------------------------------------------------------------
Debian release 8.4dfsg-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAABCgAGBQJQMpbAAAoJEHhT2k1JiBrTK8QQAIXTEB0171qIg0EFpvErhA7x
9odDNijjdO1cmpIbE6IfFl8ayHLAjuYNU5N1xxGy5YDoE6OqRSgUpqASeZdA0fDo
9MYx5mN7iKXdO0U3je5ENJnmK6/S1u5WjWVB7VzAv6kmxpxZBO1yeRhwTMWpvPPo
b41CnBo2lbqAu3upvGu7jm/nSlvQvVrsmmcndk+qlqX+P6IgMlNLQ4R3mxKg5kvL
wrU3kOyDFmhot/4Fl24uw/1KyKeyCMRTqWx6k8/dHhKlhsTtd/j1k6aKVFOdWdYj
I8CCbQ9qUIyiVO50lVbvCurZuwMAYjpgTm5DQ8uOoPzl5NUr4HHCyMJDntfRsEJ2
KwbRVrAvUJ4VaHdyw5g8FrmLD6LA7ySQNiwqFASkB93DjVaAe8yQmONC7dWouzlM
n8JaxiDXOa5D9WHNjrHmvh208bF3O2B3kowpeliRldB1SG+A9WStsRmSeHy4R12h
gAXCisKYIhRvMbxvGatO3bPpBFsyyLj2bWB6cmJq1YjlPUmV9iUpFaK9nBo9JZ+u
LP9A+clCgpf+OI1xm9OTG0plOZpc1v74pxSZs61sZRlWhvQQrWmGB5FbSktd525E
kFauFlP7CxyRyHQFK1rbk6vtQA8b2kx3Clu7fQxFpra3moKM3Ac51DKh5Um1GyrR
Y0Eyh4fX0nDLHZ+YH+4S
=pwx4
-----END PGP SIGNATURE-----

Stephane Glondu (7):
      Use filter-pristine-tar and change versioning scheme
      Use experimental branches
      Imported Upstream version 8.4dfsg
      Merge tag 'upstream/8.4dfsg' into experimental/master
      New upstream release
      Update ABI
      Prepare upload to experimental

-----------------------------------------------------------------------

-- 
coq packaging