Genus: Ostodolepis WILLISTON, 1913
Etymology:

Species: brevispinatus WILLISTON, 1913
Etymology:

Holotype: FM UR 680

Locality: West Coffee Creek, Willsbarger County, Texas.

Horizon: Arroyo Formation, Lower Clear Fork Group.

Biostratigraphy: Land-vertebrate faunachron lower D.

Age: Middle Leonardian stage, upper Rotliegendes, Early Permian.

Material: 7 articulated vertebrae and their connect ribs.

Referred material:

CASE, 1929

Locality: Coffee Creek, Willbarger County, Texas.

Horizon: Arroyo Formation, Lower Clear Fork Group.

Biostratigraphy: Land-vertebrate faunachron lower D.

Age: Middle Leonardian stage, upper Rotliegendes, Early Permian.

Material:

Number: Not given: Skull and fragmentary skeleton.