aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/user-overlays/14111-gares-update-elpi.sh
blob: 8827127a381ef35b83764286c84884436c0f1f79 (plain) 
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:02:04 +0000