Overlays for head reduction flag PR

coq · Oct 5, 2023 · adaa829 · adaa829
1 parent 9708427
commit adaa829
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/dev/ci/user-overlays/17503-SkySkimmer-redexpr.sh b/dev/ci/user-overlays/17503-SkySkimmer-redexpr.sh
@@ -0,0 +1 @@
+overlay serapi https://github.com/SkySkimmer/coq-serapi redexpr 17503