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

[Stephane Glondu]

The annotated tag, debian/8.3.pl1+dfsg-2 has been created
        at  80ca7033379c6385fe50f6d90e7a9e91bfba9e9f (tag)
   tagging  853081b70ac141ffcbde0cf468b6f45c62f0a964 (commit)
  replaces  debian/8.3.pl1+dfsg-1
 tagged by  Stephane Glondu
        on  Sat Feb 26 19:08:34 2011 +0100

- Shortlog ------------------------------------------------------------
Debian release 8.3.pl1+dfsg-2
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iQIcBAABCgAGBQJNaUGiAAoJEHhT2k1JiBrTNxkP/2bbRoGwX0ThMRJU5ezfwK5v
OZprDLknH/Afs8MLg75H+BjYLLsXaPgeAemcxbxs+VeJMJzpy3juzppmus4QK5Kx
ICRpmuwGieMDY4DBozdytQvfCfsuF3dKkKnE0WcioPmFwF+NeFX31x91pfgR/er7
ddcKSp64KEZAzjsMSjjjRaOv+HjzJrr1ll7WAsUgFRTJC3WduOmRRDywVPpjo5yP
pnZXQR3c6y2OP5togSdLP0PLZ6IQA+mRZrhFuQoMIx/QYOrj40jYuYuVYPc+Nlx8
ja6b/y+oI44Bkxjz2+nITNtVkstU+1Dh6Bq8nK7Ettq7sQ59CA/h8dWbtPbssBo3
3oP95Qu1Vqc4VdR2jDw6YCQBA+sfUss+27kv2dSB9PJYS68Xp4pgbJGKMPheTxkz
/L1Hg9oxBzG7H2KYg35vEqiJT80Rjwha7z39pY4RkcaSGo8Xn5YWnJvcZ4AsIYGK
Ex607hr7GixIKy/f+TKI6z+sAfBgGLQLwk8qysRIU/VcDiezd5O3i4dk0+eHbDDQ
QMIl1LxkXaUrJRGjFGORdonXNALkZGO+dCi2HVUn9Lu6wTjEWYmyS9u0xN5Kwopl
znvxOR75rGDstNP70GkUwUfLgoPUt6hViQBGOMIhx5ssfaToMpmCIjNepT5XoVpj
E0bQXZezlW8zoclBF3AI
=pLjx
-----END PGP SIGNATURE-----

Stephane Glondu (5):
      Refresh patches
      Add Fix-build-with-camlp5-6.02.1.patch
      Update changelog and prepare upload to unstable
      Merge sid branch
      Set and check COQ_VERSION used to compute COQ_ABI in debian/rules

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

-- 
coq packaging