[gerris] 01/07: Switch from libav-tools to ffmpeg. (Closes: #873192)

[Anton Gladky]

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

gladk pushed a commit to branch master
in repository gerris.

commit 7b124aa0517c7b9807033d604884693f3118f3ec
Author: Anton Gladky <gladk at debian.org>
Date:   Thu Nov 23 20:30:47 2017 +0100

    Switch from libav-tools to ffmpeg. (Closes: #873192)
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 9a4a65f..a4de658 100644
--- a/debian/control
+++ b/debian/control
@@ -70,7 +70,7 @@ Section: libdevel
 Depends: libgfs-1.3-2 (= ${binary:Version}),
          ${misc:Depends},
          libgts-dev,
-         libav-tools,
+         ffmpeg,
          ${shlibs:Depends}
 Breaks: libgfs-mpi-dev (<< 20131206+dfsg-7)
 Replaces: libgfs-mpi-dev (<< 20131206+dfsg-7)

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