Não há diferença entre os dois, exceto o nome do arquivo. Um é 'armhf + bbb', o outro é 'armhf-bbb', e um é um symlink para o outro no servidor. A razão pela qual temos os dois nomes é que tivemos empurrou um desses nomes como o URL para publicar no site, então percebi que o nome que tínhamos empurrado era inconsistente com a nomenclatura geral esquema em releases.ubuntu.com.