*~
swipl-devel