Version 1.0.0 of coq-list-string