Sorry, debian-ports archive key is http://ftp.debian-ports.org/archive/archive_2013.key and debian snapshots are http://snapshot.debian.org/archive/debian-ports/ (note the final /) J.-H. Chatenet