[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, debian/8.2.pl1+dfsg-3, created. debian/8.2.pl1+dfsg-3

[Stephane Glondu]

The annotated tag, debian/8.2.pl1+dfsg-3 has been created
        at  9307b467b624e99c56bf737ccef1e782804a2732 (tag)
   tagging  d8e2663f7445de8536e71e16655bd083806360c1 (commit)
  replaces  debian/8.2.pl1+dfsg-2
 tagged by  Stephane Glondu
        on  Sat Aug 29 17:33:08 2009 +0200

- Shortlog ------------------------------------------------------------
Debian release 8.2.pl1+dfsg-3
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iQIcBAABCgAGBQJKmUo0AAoJEHhT2k1JiBrTmwMP/39Q5TYGEDMOWav/NZ8WWdPW
K4LET0D/C4HdA0sR/wiceqdtqDE2bC/8lPh0TTyMZim0GUo3x+0UFt0GCyUfuvJN
y1NI4DYGpUkVG7fUMrFKT/UOq+iNumcdrYyj1f+usXeNhIjD/g67UzSN4pTlhX4d
WHLwsuDXc4hRUQE64y8KWSPP1bbYbA1iC4a5ojypOaFzxkz4UV0McgZ/S3Z7I/qj
rDUTT3G3PhuT/Hgv1RU72qUfYkEN8tUav8jOZhVzBYfZxVo+jevpP9a5eHnb5Wl2
dw9POt7JuSJ9iysMiZqF05dTNAEYmL7BAUksZ12tSQn1hn9ahCz7Z9rJ6TlWASZ/
5aI5ni1EypWGD9kkobp72JoRrjwd6N7vdjAZhIll3bOlupWZBswOKvH0QafzComI
z5UGVkQ4mk4nwyXNBtqY9wrUFF8HL8Izn40KSFJRC7lxW/plOEH8Pd1L7rGoP1zO
u0LZ/HHMa2odRuvdo37At0twxDjVBjsTgBO8dKXzGGt7XzNo/FUFOr4XPNBx0tGY
p0UIPwWdzCDDB8yqBnJk8er1DZpa1G/7iNgwnD13ajlPhNgikptQowO4vX1JknJc
hF7R3jaumyEOqoUjj2vk4iUMlagiTWcN07LRZviAdyf+dOjNP802hPW9YuRbdDfk
EEQL2HLGDIUkKehLxNyW
=5hOM
-----END PGP SIGNATURE-----

Stephane Glondu (4):
      Update README.Debian (Closes: #538398)
      More precise informations in README.Debian
      Add 0001-Update-for-why-2.19.patch
      Various updates, prepare upload to unstable

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

-- 
coq packaging