History of package "libremines"