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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
