ΔE 17.8, loose: different enough that you should pick on purpose. Gravedigger Denim is a little darker, much more muted than Ocean Depths.
Not as a straight swap; see the closer alternatives below. Loose match (ΔE 18). Gravedigger Denim is a little darker, much more muted than Ocean Depths.
The same difference applies the other way round: Ocean Depths is a little lighter, much more saturated.
ΔE is the colour difference between our two swatch estimates: under about 6 is close, over about 15 is loose. Real paints also differ in finish, coverage and how they thin, so test before you commit.
See Ocean Depths on the colour wheel See Gravedigger Denim on the colour wheel
All matches: Ocean Depths equivalents · Gravedigger Denim equivalents