Request #42539 has been Rejected by MarsSeed [1]: Closing this request as package owner @Thaodan has updated it.
@Thaodan, I still uphold my now-informal recommendation though, for you to delete this package. Before I flagged this, it had been out-of-date for 2 years and no user gave any feedback about it. Which leads me to conclude that no one uses this package. As I've said, users can use a dkms package and it is their best and most reliable and flexible option. [1] https://aur.archlinux.org/account/MarsSeed/
