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 

Pkg-ocaml-maint-commits mailing list

Reply via email to