[CentOS] vmplayer for linux 12.5.7 on CentOS 7.4 (Jerry Geis)

Sun Sep 24 19:16:45 UTC 2017
Jerry Geis <jerry.geis at gmail.com>

Perfect. Thanks,

Jerry