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

[Stephane Glondu]

The annotated tag, debian/8.3+dfsg-1 has been created
        at  dc1f3be7eda4ba94988c4463d9fdb1a0b803add3 (tag)
   tagging  0fa28b899ab1c7ee138fc173d8fea72e7c7488e7 (commit)
  replaces  debian/8.3.rc1+dfsg-1
 tagged by  Stephane Glondu
        on  Sat Oct 16 11:46:54 2010 +0200

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

iQIcBAABCgAGBQJMuXSOAAoJEHhT2k1JiBrTtHUP/iLwVFlkJylwGF5adq5ZL0Y/
406mXYwUuKFhxUGxQ4bTCmvHkG7AK74j+YpQxwLWz9y1eE+DqT1Z9fH1xagF9RFT
vZ8S1t7jmFwnIHQRmBXcTUiQBmkTzWwGjhxsGKVr5TJiKlJdQh0wmT9S503asoqA
rX09cus0peVOBfgu6Qo9UHY4zZnbzrqzd2QbTilvLUHPnjXDofb17ytKV+/bS2R6
xvrg5lWsjFeZAhWTE0J9RRCecousPAVS9GoDAYBLOyg9J+SwLtuVNzajPXsrwFQe
KHaukYz6+fXTeDOUVCAfuweN16/jSl8LSlszq/J2XwpX2RH9BSVQ2S2R2dqgnDpg
lxZOsgnSWKFK+4LLIaP7Ss/fXvvpLsWZSJCSSFDEW2TKiPC6YtwvmJ5v509UDmPD
MUqIoL/8ayVEKozvSr8eGqk9iZbVH+KrV6IL6149T+lYNJWSYPjtSzWAWDGWeqVB
OT4vNiP8e32uYo4Hv/qN0ho4tLPAlddPQM/B+ZhMimHCbqkkcC6zPU2eSN97X/ke
8yDzgdbScuDAeGKk5JxS9up9erfIWiFxIaS4qOt2qKOUueQiEGlzL+alsfvxAIcI
jF5iQYpHk11y+9A8NbZgcgWvfRb9LHyV3fx5avp+dm+XU1sa98Zk8Ct3hOcB5tK6
+gw+DqElbpChW8cpa6/q
=E8/d
-----END PGP SIGNATURE-----

Stephane Glondu (7):
      Imported Upstream version 8.3
      Remove non-DFSG contents
      Merge commit 'upstream/8.3+dfsg' into experimental/master
      New upstream release
      Add patch to fix test-suite
      Bump Standards-Version to 3.9.1 (no changes)
      Update changelog and prepare upload to experimental

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

-- 
coq packaging