f424016e

By: Lucien Huber <im@lcnbr.ch>

Bind generated equality refinements to source authority
GitHub
configure