overlay

gares · gares · commit 23ea0b202b92 · 2022-04-07T11:50:27.000+02:00
diff --git a/dev/ci/user-overlays/15872-gares-interp-inductive.sh b/dev/ci/user-overlays/15872-gares-interp-inductive.sh
@@ -0,0 +1,3 @@
+overlay elpi https://github.com/gares/coq-elpi elab-arg 15872
+overlay hierarchy_builder https://github.com/gares/hierarchy-builder elab-arg 15872
+

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+overlay elpi https://github.com/gares/coq-elpi elab-arg 15872`
	`2`	`+overlay hierarchy_builder https://github.com/gares/hierarchy-builder elab-arg 15872`
	`3`	`+`