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

[Stephane Glondu]

The annotated tag, debian/8.3.beta0+13323-1 has been created
        at  55fa2b0b9e37c3e80a51ecca7c04420076087795 (tag)
   tagging  6c1da06df6378da5c47e3e55a5c0845779a47ce7 (commit)
  replaces  debian/8.3.beta0+13298-1
 tagged by  Stephane Glondu
        on  Sat Jul 24 22:24:46 2010 +0200

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

iQIcBAABCgAGBQJMS0wOAAoJEHhT2k1JiBrTi3MP/341S3UwoK3wGECiUpXR6Qr6
qEpu4asUvVEmItERsNje2kCm78htCykCzL135grPUNlo6lonbtf7uadBXedFRu75
v5+SEv3GERN7+6aaSDKQAYUGBGC0rOFfHFMvjqcBotskFyMGS5tDObycMuyRyAcN
Z5m9KBAMvj4ueZ/Iv0CqsKD/bwgy3SGB91Rna8m4HQ3pnMUIeoOdFlFYQwI8s36F
A1Pbtfvv02yl7ooljIFn+29+9LaHR6JhY2Th2r6Lwgb1Q/haM0sSnmD2FZlh1EuO
haEpVKUPwvQOLw16hy1yt6LjcqT3/OsBvI5Qf9BC8o8Od3lPI+KF5Z3i6GDgpC+I
cPKjWuujZVI0MKl5CeWGhQ+FI19dNoFph0ZPv8vFVMm716tRyyE4JtKt+bkBhx3n
AOtidT0xqmKolsr3B8ksJi1ZaD2W5rsLiEsc96VZdNLgNE54Rfpic/gmW9YrxkVY
EjTnIQm5Qi7/5Gu+kTFcZ5oxtFhC7Yp75HXmkcWfXRHasDwXSr/JLM2Wvn9nkFO/
hL9ZV0A6cCniOd2dt6J/cQMNNtE3eigo6VPE14ECP2HdS9jukz8kPFyudPgs1zZ3
KWuA+V3ORhC6HlYw3lhog6ER1zy5G9SE94cVXzIQW35I17kE+fRZ1GwpPBZXZ2i8
jfYUkk+No91I/Pa1C7Ww
=7Cnj
-----END PGP SIGNATURE-----

Stephane Glondu (6):
      Imported Upstream snapshot 8.3~beta0+13323
      Merge branch 'experimental/upstream' into experimental/master
      New upstream snapshot
      Update copyright file
      Add 0001-Fix-installation-of-emacs-files.patch
      Update changelog and prepare upload to experimental

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

-- 
coq packaging