From b57538ade048f55b657a8d5642ee08e6e4291126 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 22 Mar 2021 12:18:54 +0100
Subject: overlay

---
 dev/ci/user-overlays/13965-gares-syndef-principal-scope.sh | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 dev/ci/user-overlays/13965-gares-syndef-principal-scope.sh

diff --git a/dev/ci/user-overlays/13965-gares-syndef-principal-scope.sh b/dev/ci/user-overlays/13965-gares-syndef-principal-scope.sh
new file mode 100644
index 0000000000..decb093b71
--- /dev/null
+++ b/dev/ci/user-overlays/13965-gares-syndef-principal-scope.sh
@@ -0,0 +1,3 @@
+overlay equations https://github.com/gares/Coq-Equations syndef-principal-scope 13965
+overlay elpi https://github.com/gares/coq-elpi syndef-principal-scope 13965
+overlay paramcoq https://github.com/gares/paramcoq syndef-principal-scope 13965
-- 
cgit v1.2.3