This is an automated email from the git hooks/post-receive script.
treinen pushed a change to annotated tag debian/1.30-1
in repository alt-ergo.
at 31b5751 (tag)
tagging 925ad0ed100810f813e4fff64d4d986d21ce36a6 (commit)
replaces debian/1.01-1
tagged by Ralf Treinen
on Mon Dec 12 20:42:08 2016 +0100
- Log -----------------------------------------------------------------
alt-ergo Debian release 1.30-1
Ralf Treinen (9):
dh compat level 10
bumped standards-version
dropped redundant Testsuite
updated Vcs-{Git,Browser}
New upstream version 1.30
Merge tag 'upstream/1.30'
new upstream version
fix spelling
+ build-dependency on ocaml-findlib
-----------------------------------------------------------------------
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
