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

[Stephane Glondu]

The annotated tag, debian/8.2-1+dfsg-2 has been created
        at  9b43f9a7fd669871143d9d75f41c95fa9583adf1 (tag)
   tagging  17b364613aa7bc04dfdac3efd47e4059afc3ac57 (commit)
  replaces  debian/8.2.rc2+dfsg-3
 tagged by  Stephane Glondu
        on  Wed Jul 1 18:57:15 2009 +0200

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

iEYEABEDAAYFAkpLlWsACgkQBg8odvzgParzpgCeKahelX/rQCKjFu8VRkypg7s6
PyMAnREpqqySEUdfH6dhpIEq/zS5NEyI
=XwYk
-----END PGP SIGNATURE-----

Samuel Mimram (9):
      Use variables from dh-ocaml in rules.
      Added coqvars.mk helper for coq-related packages.
      Use variables from dh-ocaml in rules.
      Added coqvars.mk helper for coq-related packages.
      Merge.
      Install CSS for stdlib documentation.
      Merge branch 'master' of git+ssh://git.debian.org//git/pkg-ocaml-maint/packages/coq
      Updated watch file.
      Remove upstream url from long descriptions since we already use the Homepage field.

Stephane Glondu (17):
      Upstream version can contain dashes
      Imported Upstream version 8.2-1+dfsg
      Merge commit 'upstream/8.2-1+dfsg'
      New Upstream Version
      Remove experimental dependencies and restore ocaml-best-compiler
      Use Debian changelog to determine COQ_VERSION
      Use ocamlinit.mk
      Generate coqvars.mk from debian/rules and drop /usr/lib/coq/abi
      Remove dependency on dpatch
      Update changelog
      Add missing Conflicts and Replaces (Closes: #517107)
      Add dependency on liblablgtk2-ocaml
      Add versioned dependencies
      dh_link expects full targets in *.links file!
      Prepare upload to unstable
      Suggests readline-editor instead of cle
      Prepare upload to unstable

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

-- 
coq packaging