[cvc4] branch master created (now cd847fe)

[Fabian Wolff]

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

fw-guest pushed a change to branch master
in repository cvc4.

        at  cd847fe   Change maintainer field to Debian Science Maintainers in debian/control

This branch includes the following new commits:

       new  9f1db7e   New upstream version 1.5~pre-20170316
       new  e38afe6   Add debian/*
       new  cd847fe   Change maintainer field to Debian Science Maintainers in debian/control

The 3 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


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