How to fix the error that "unknown package 'data'" exactly?

Stream: new members

[Jenny Kim]

Could anyone please help with the following question for Lean 4:

How to fix the error that "unknown package 'data'" exactly?

Thanks a lot!

[Julian Berman]

What data package are you trying to import? That sounds like you may be trying to use a Lean 3 package (mathlib).