Skip to content

Release for Coq 8.5-beta2

Compare
Choose a tag to compare
@gmalecha gmalecha released this 25 Jun 13:00
v1.0.0

versions of glob that ignore universes.