Dispute this rating

Tell us why you think the rating for “libarmci-mpi-dev” should be different. Sources help.