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