Skip to content

binary renamed to `coq-min-imports`

Latest
Latest
Compare
Choose a tag to compare
@vzaliva vzaliva released this 25 Apr 21:20
· 2 commits to master since this release
v1.0.2
f6f0cb3

binary renamed to coq-min-imports. Fixes installation issue with the previous release.

Assets 2
Loading