# Various packages for software from supermind.nl
deb http://debian.supermind.nl/ current main