Skip to content

Release for Coq 8.5-beta2

Compare
Choose a tag to compare
@gmalecha gmalecha released this 25 Jun 12:34
v1.0.0-beta2

fixes to work with v8.5 branch.