distriman:adding constraint verification to remote dependencies