aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/user-overlays/13911-Zimmi48-remove_type_cast.sh
blob: 29f2386797985080da53fe8d7ef8f004b26fc37f (plain) 
1
2

overlay equations https://github.com/Zimmi48/Coq-Equations coq-13911 13911 remove_type_cast
overlay elpi https://github.com/Zimmi48/coq-elpi patch-1 13911 remove_type_cast
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 21:14:27 +0000