overlay

gares · gares · commit 1e9263a0ce9f · 2025-07-01T22:27:41.000+02:00
diff --git a/dev/ci/user-overlays/20839-gares-vernac-class-atts.sh b/dev/ci/user-overlays/20839-gares-vernac-class-atts.sh
@@ -0,0 +1,3 @@
+overlay elpi https://github.com/gares/coq-elpi vernac-class-atts 20839
+
+overlay metarocq https://github.com/gares/metarocq vernac-class-atts 20839

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+overlay elpi https://github.com/gares/coq-elpi vernac-class-atts 20839`
	`2`	`+`
	`3`	`+overlay metarocq https://github.com/gares/metarocq vernac-class-atts 20839`