loongson/mirror: links for cegal