overlay coq_lsp https://github.com/herbelin/coq-lsp main+adapt-13445-LetContext-definition-kind 13445 master+reworking-assumptions
overlay smtcoq https://github.com/herbelin/smtcoq coq-master+adapt-13445-declare_variable-api 13445 master+reworking-assumptions
overlay elpi https://github.com/herbelin/coq-elpi coq-master+adapt-coq-pr13445-declare_variable-api 13445 master+reworking-assumptions
