Equations 1.2beta2 is out on opam and sources are available on github! It fixes a few issues that were mentionned here 
Enjoy!
http://mattam82.github.io/Coq-Equations/equations/2019/03/19/1.2beta2.html
2 Likes