We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
f6f0cb3
binary renamed to coq-min-imports. Fixes installation issue with the previous release.
coq-min-imports
58c6cf1
Fixes to allow single-letter file names and sub-folders.
2790980
v1.0.0 coq 8.6 fix
