Where does “corallinus” come from?

corallinus (Latin) comes from Latin corallium, from Ancient Greek κοράλλιον, from Ancient Greek ἅλς, from Ancient Greek -ῐος, from Proto-Indo-European -yós — Creates adjectives from noun or verb stems.