Use libvpx >= 5 (#15591)

Ubuntu 18.04 provides libvpx5 while Ubuntu 20.04 does libvpx6

diff --git a/Aptfile b/Aptfile
index 419d159ef6d64f5386de0092e3e546c0f457edb8..b2cbad714d4dc9dd437ce49486523f8d1eed3aeb 100644 (file)
--- a/Aptfile
+++ b/Aptfile
@@ -22,7 +22,7 @@ libpixman-1-0
 librsvg2-2
 libthai-data
 libthai0
-libvpx5
+libvpx[5-9]
 libxcb-render0
 libxcb-shm0
 libxrender1