swipl/_scmsync.obsinfo