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

[Samuel Mimram]

The annotated tag, debian/8.2.beta4+dfsg-1 has been created
        at  dca80c64967630d78118e66dff435fcee8ce9124 (tag)
   tagging  80430f1fcfaf77869f931a52a22b78364858a188 (commit)
  replaces  debian/8.1.pl3+dfsg-1
 tagged by  Samuel Mimram
        on  Thu Aug 14 19:17:35 2008 +0200

- Shortlog ------------------------------------------------------------
Debian release 8.2~beta4+dfsg-1

Samuel Mimram (5):
      Imported Upstream version 8.2~beta3+dfsg
      Merge commit 'upstream/8.2.beta3+dfsg'
      New upstream release.
      Updated and removed old patches.
      Uploading to experimental.

Stephane Glondu (31):
      Create bin/ in clean stage of rules
      Switch packaging to git
      Add myself to Uploaders, and DM-Upload-Allowed to control
      Fix typo in README.Debian
      patch-stamp and configure-stamp are dependencies of build-stamp
      ide/utf8.v is not there anymore (moved to theories)
      Install also *.cm[iox] files
      ide/index_urls.txt is not there anymore
      Add install-stamp
      Fix building of (stdlib) doc
      Update changelog
      Create bin/ in configure instead of clean
      Set doc-base section to Science/Mathematics
      Add Homepage field
      Add debian/README.source
      Bump Standards-Version to 3.8.0
      Update changelog
      Imported Upstream version 8.2~beta4+dfsg
      Merge commit 'upstream/8.2.beta4+dfsg'
      New upstream release
      Remove browser.dpatch and use --browser configure option
      Disable compiling/installing doc
      Add use-env-in-coq-config.dpatch
      Move patch-stamp as a prerequisite of configure-stamp
      Remove Encoding from debian/coqide.desktop
      glob.dump is not there anymore
      Install csdpcert
      Tune clean target of debian/rules
      Update debian/changelog
      Remove obsolete manpages (now shipped upstream)
      Update debian/changelog

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

-- 
coq packaging