Where does “mined” come from?

mined (English): simple past tense and past participle of mine