diff options
| author | Enrico Tassi | 2021-04-14 09:59:32 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2021-04-14 18:18:43 +0200 |
| commit | d8c9c14fa46ea2b492279a8a5916883c476d2176 (patch) | |
| tree | 4bd18f385a180d7375dd8c0bb7fe585d43361be8 /dev | |
| parent | acc0ca00d87243edda5737c4c377a0c42b5fe4b0 (diff) | |
overlay file
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/ci/user-overlays/14111-gares-update-elpi.sh | 2 |
1 files changed, 2 insertions, 0 deletions
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 |