18973-rlepigre-brprim-string.sh

overlay coqhammer https://github.com/rlepigre/coqhammer br/prim-string 18973

overlay elpi https://github.com/rlepigre/coq-elpi br/prim-string 18973

overlay tactician https://github.com/rlepigre/coq-tactician br/prim-string 18973

overlay unicoq https://github.com/rlepigre/unicoq br/prim-string 18973

overlay coq_lsp https://github.com/rlepigre/coq-lsp br/prim-string 18973

overlay quickchick https://github.com/rlepigre/QuickChick br/prim-string 18973

overlay vscoq https://github.com/rlepigre/vscoq br/prim-string 18973

overlay metacoq https://github.com/rlepigre/metacoq br/prim-string 18973

overlay coq_library_undecidability https://github.com/rlepigre/coq-library-undecidability br/prim-string 18973