MarsSeed [1] filed a deletion request for openmodelica-omlibraries [2]: Cleanup of defunct separate OpenModelica packages created before 2019. Upstream migrated to a new monorepo. Most of the split repos got discontinued. This one is still kept, but not for individualsl usage: instead, it is a git submodule of the main OpenModelica repo. Safe to delete. Nothing depends on it. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/openmodelica-omlibraries/