https://github.com/coq-ext-lib/coq-ext-lib
History
Tip revision: f3d86bc157e0cc282c9e8041136fbf7eb4275170 authored by Yishuai Li on 06 March 2024, 07:19:27 UTC
Update stale.yml
Tip revision: f3d86bc
File Mode Size
deps.py -rwxr-xr-x 882 bytes
dir-locals.el -rw-r--r-- 73 bytes
whitespace.sh -rwxr-xr-x 58 bytes

back to top