Trying to find current version of Artimis board on arduino ide

I did do this. There are no options in the board manager to select the Artimis boards. Both.