diff options
author | Daigo 3 Dango <zunda@users.noreply.github.com> | 2021-01-22 09:09:40 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-22 10:09:40 +0100 |
commit | bc4efd5e98078946c1d62ad287361246ca571970 (patch) | |
tree | b7ca78a946853de167ace1c513e5f8ca71905f15 /Aptfile | |
parent | 5fcac81302ad323a86ab43243c242c4a10cd338a (diff) |
Use libvpx >= 5 (#15591)
Ubuntu 18.04 provides libvpx5 while Ubuntu 20.04 does libvpx6
Diffstat (limited to 'Aptfile')
-rw-r--r-- | Aptfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Aptfile b/Aptfile index 419d159ef..b2cbad714 100644 --- 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 |