[PRQ#70404] Deletion Request for idok

[notify]

MarsSeed [1] filed a deletion request for idok [2]:

Fails to build.
Upstream is unmaintained since 2015. [a]

[a]: https://github.com/metal3d/idok

[1] https://aur.archlinux.org/account/MarsSeed/
[2] https://aur.archlinux.org/pkgbase/idok/