I suspect he simply doesn't have source lines listed in apt config. Adding a deb-src line per each deb line he has on /etc/apt/sources.list should fix the issue after he runs apt-get update
Regards _______________________________________________ evolution-list mailing list evolution-list@gnome.org To change your list options or unsubscribe, visit ... https://mail.gnome.org/mailman/listinfo/evolution-list