[Pkg-ocaml-maint-commits] [alt-ergo] annotated tag debian/1.30+dfsg1-1 created (now 64d5f5d)

[Ralf Treinen]

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

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

        at  64d5f5d   (tag)
   tagging  e2967b4d2257d6c83d35b0b1908dae8badbf58c0 (commit)
  replaces  debian/1.30-1
 tagged by  Ralf Treinen
        on  Thu Dec 21 20:15:05 2017 +0100

- Log -----------------------------------------------------------------
alt-ergo Debian release 1.30+dfsg1-1

Ralf Treinen (6):
      patch for compilation with ocplib 0.4
      New upstream version 1.30+dfsg1
      Update upstream source from tag 'upstream/1.30+dfsg1'
      repacked source (removed non-free/)
      standards-version 4.1.2
      d/watch: drop pgpsigurlmangle

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

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