[cvc4] annotated tag upstream/1.5_pre-20170316 created (now c03c846)

[Fabian Wolff]

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

fw-guest pushed a change to annotated tag upstream/1.5_pre-20170316
in repository cvc4.

        at  c03c846   (tag)
   tagging  9f1db7ed1fe841247104559d672fabf6f92d3213 (commit)
 tagged by  Fabian Wolff
        on  Thu Mar 16 17:15:09 2017 +0100

- Log -----------------------------------------------------------------
Upstream version 1.5~pre-20170316

Fabian Wolff (1):
      New upstream version 1.5~pre-20170316

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

No new revisions were added by this update.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/cvc4.git