Add overlay

proux01 · proux01 · commit a55314a41196 · 2022-03-31T14:00:51.000+02:00
diff --git a/dev/ci/user-overlays/15877-proux01-cleanup_class_record.sh b/dev/ci/user-overlays/15877-proux01-cleanup_class_record.sh
@@ -0,0 +1 @@
+overlay elpi https://github.com/proux01/coq-elpi coq_15877 15877

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+overlay elpi https://github.com/proux01/coq-elpi coq_15877 15877`