Гравелит – значение в словаре Ефремовой

гравелит м.

Осадочная порода, представляющая собою сцементированный гравий.