The pkg-electronics home page is in the Debian wiki: http://wiki.debian.org/Teams/pkg-electronics.