Add overlay

proux01 · proux01 · commit 19227b45077b · 2022-06-24T16:46:14.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`