That did the trick, thanks. Though I do not understand why the repositories listed by fapman are different from those in /etc/apt/sources.list.d/hildon-application-manager.list. That file was slightly different from what fapman shows. For example, fapman showed that extras-devel had the distribution as just fremantle, while hildon-application-manager.list had it as fremantle-1.3.