From d8c9c14fa46ea2b492279a8a5916883c476d2176 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 14 Apr 2021 09:59:32 +0200
Subject: overlay file

---
 dev/ci/user-overlays/14111-gares-update-elpi.sh | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 dev/ci/user-overlays/14111-gares-update-elpi.sh

diff --git a/dev/ci/user-overlays/14111-gares-update-elpi.sh b/dev/ci/user-overlays/14111-gares-update-elpi.sh
new file mode 100644
index 0000000000..0a73ae7478
--- /dev/null
+++ b/dev/ci/user-overlays/14111-gares-update-elpi.sh
@@ -0,0 +1,2 @@
+overlay elpi https://github.com/LPCIC/coq-elpi coq-master+1.9.5 14111
+overlay hierarchy-builder https://github.com/math-comp/hierarchy-builder coq-master+1.1.0 14111
-- 
cgit v1.2.3