summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorJean-Marc Lenoir2017-09-11 09:13:31 +0200
committerJean-Marc Lenoir2017-09-11 09:13:31 +0200
commit81a995e44bff866ca4a3c11a43d1d97a9781e108 (patch)
tree90ba814483f42f7e811f0e271827ca6208464e7f /PKGBUILD
parent2f3e36382a9e2292e472795a84adcdda63d795e0 (diff)
downloadaur-81a995e44bff866ca4a3c11a43d1d97a9781e108.tar.gz
Fix a memory management problem with Linux 4.13
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index c40f2b04183b..f38801eea873 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -15,7 +15,7 @@
#PKGEXT=.pkg.tar
pkgname=vmware-workstation
pkgver=12.5.7_5813279
-pkgrel=3
+pkgrel=4
pkgdesc='The industry standard for running multiple operating systems as virtual machines on a single Linux PC.'
arch=(x86_64)
url='https://www.vmware.com/products/workstation-for-linux.html'
@@ -116,7 +116,7 @@ sha256sums=(
'3a62d45f046b22d1fba9c34db42d8b2774b084f82356b9f18f05bd2cef214ace'
'0a5aa819ca73513407acaf67779d95745314f7222afbd3fc2eadc80f24054d47'
'7c666fa2c09c19d8af7b97227ee564ce0d5e044897167db583ecd67217a36394'
- '4339a98bd5aba421bc1043f2ee97ea00b082733c81bce321edc7bc72e16ce09b'
+ 'b04baffa8ee7b5be56aba3d49d9c06be5e34a31808a6f93b899408dbda9aef40'
'4c960079fec78682000a1c2e82dcaae69a6e91858dea641b707cf60674f3799f'
'd7e6b21fef94b4d3fe655a68c20a9556a718a252826a899fb46c4f2475046954'
)