Skip to content
Windows CI

Ltac2: named type variables can't be defined #2213

Sign in to view logs

Ltac2: named type variables can't be defined

Ltac2: named type variables can't be defined #2213

The logs for this run have expired and are no longer available.