[cvc4] 09/10: Rename install files to match new package names

[Fabian Wolff]

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

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

commit cd4918e952a69006c0cf9db037eca326bef0491c
Author: Fabian Wolff <fabi.wolff at arcor.de>
Date:   Tue Jul 11 23:56:53 2017 +0200

    Rename install files to match new package names
---
 debian/{libcvc4-3.install => libcvc4-4.install}           | 0
 debian/{libcvc4parser3.install => libcvc4parser4.install} | 0
 2 files changed, 0 insertions(+), 0 deletions(-)

diff --git a/debian/libcvc4-3.install b/debian/libcvc4-4.install
similarity index 100%
rename from debian/libcvc4-3.install
rename to debian/libcvc4-4.install
diff --git a/debian/libcvc4parser3.install b/debian/libcvc4parser4.install
similarity index 100%
rename from debian/libcvc4parser3.install
rename to debian/libcvc4parser4.install

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