Overlays for sort poly inductives

coq · Nov 20, 2023 · ac1662b · ac1662b
1 parent 81c7d2f
commit ac1662b
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/dev/ci/user-overlays/18331-SkySkimmer-sort-poly-ind.sh b/dev/ci/user-overlays/18331-SkySkimmer-sort-poly-ind.sh
@@ -0,0 +1,5 @@
+overlay elpi https://github.com/SkySkimmer/coq-elpi sort-poly-ind 18331
+
+overlay lean_importer https://github.com/SkySkimmer/coq-lean-import sort-poly-ind 18331
+
+overlay metacoq https://github.com/SkySkimmer/metacoq sort-poly-ind 18331