The foreign 'devel' DEB package is also very old, like its main binary application: it was released in 2014. And in Arch Linux, "devel" header files by default should be put inside the main library package, not in a separate one. (Except maybe in some special cases when an application has a huge number and/or large total size of 'devel' files, like in case of qtcreator + qtcreator-devel.) Here it is not like that at all. On 1 September 2023 07:58:35 GMT+02:00, notify@aur.archlinux.org wrote:

MarsSeed [1] filed a deletion request for linux-libexplain-dev [2]:

This package violates AUR submission guidelines by using a binary release of an open-source library without having a '-bin' suffixed pkgname.

It does not seem to be used by anyone apart from the submitter (0 comments/votes).

[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/linux-libexplain-dev/