mined

Adjective

 * 1) That has been mined (in various senses).