Add overlay

proux01 · proux01 · commit e0b8394e85d1 · 2022-06-24T16:42:11.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`