Skip to content
Back to pull request #11

Require coq-paco >= 4.2.1 rather than 4.1.2 #7

Sign in to view logs

Require coq-paco >= 4.2.1 rather than 4.1.2

Require coq-paco >= 4.2.1 rather than 4.1.2 #7

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