[Pkg-ocaml-maint-commits] [alt-ergo] annotated tag debian/0.95.2-1 created (now c8d3722)

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a change to annotated tag debian/0.95.2-1
in repository alt-ergo.

        at  c8d3722   (tag)
   tagging  2ca15d445af3e204999028a57e148250cd41e96e (commit)
  replaces  debian/0.95.1-3
 tagged by  Ralf Treinen
        on  Sun Nov 17 15:03:03 2013 +0100

- Log -----------------------------------------------------------------
alt-ergo Debian release 0.95.2-1

Ralf Treinen (21):
      debian/watch : new site @ ocamlpro
      Imported Upstream version 0.95.2
      Merge tag 'upstream/0.95.2'
      refresh patch 0001-No-need-to-activate-debug-flag.patch
      drop patch 0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch
      drop patch 0003-Fix-a-typo.patch
      drop patch 0004-Add-rules-and-targets-for-gui.byte.patch
      drop patch 0005-Look-for-cma-instead-of-cmxa-for-lablgtksourceview2.patch
      drop patch 0007-Fix-all-target.patch
      drop patch 0009-clean-remove-META.patch
      + build-dep on libzarith-ocaml-dev
      debian/rules : drop backup of .depends
      debian/rules : additional make targets for build and install
      drop mandir setting in invocation of ./configure
      debian/rules: drop touching of configure
      + changelog entry: new upstream release
      fix filenamemangle in debian/watch
      update debian/copyright
      install examples
      drop overwrite of dh_auto_configure
      standards-version 3.9.5

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

No new revisions were added by this update.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git