FIXED: module_property(M, file(File)) if there are multiple modules in this file (reports the first one though: multiple modules are not officially supported).
FIXED: module_property(M, file(File)) if there are multiple modules
in this file (reports the first one though: multiple modules are not
officially supported).

jn7163/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel