lastland Should be Coq 8.8.1

(not 8.2.1...)

Latest commit b1a9ec5

Aug 22, 2018