Version 1.1, released 2016-12-20 - Ported to Coq 8.6 Version 1.0, released 2015-10-10 - Initial release