overlay autosubst_ocaml https://github.com/SkySkimmer/autosubst-ocaml sort-expr-anon-univ 18981

overlay elpi https://github.com/SkySkimmer/coq-elpi sort-expr-anon-univ 18981

overlay quickchick https://github.com/SkySkimmer/QuickChick sort-expr-anon-univ 18981
