../ LICENSE 15-Mar-2005 01:56 2034 Makefile 29-Oct-2005 12:05 141 mined.1 07-Apr-2013 21:04 3872 mined.h 23-Oct-2019 18:09 12222 mined1.c 28-Nov-2019 20:01 59292 mined2.c 01-Oct-2012 01:09 48272