New comment by pullmoll on void-packages repository https://github.com/void-linux/void-packages/pull/26984#issuecomment-739484082 Comment: Looks like the `dev86-0.16.21` source package is different from the former `bin86-0.16.21` which no longer exists.