jwiegley / category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work
BSD 3-Clause "New" or "Revised" License
750 stars 69 forks source link

Adapt w.r.t coq/coq#16004 #31

Closed Alizter closed 2 years ago

Alizter commented 2 years ago

@jwiegley Can you restart the CI for the coq.dev job, it seems to be unrelated. This patch will unfortunately mean you will have to drop support for <= 8.13.

8.16 is soon however to be released so you will have 3 compatible versions there.

jwiegley commented 2 years ago

It seems that equations-dev isn't building from Opam anymore, not sure how to address that on my side.

Alizter commented 2 years ago

@jwiegley That's ok, it seems upstream equations is having some issues.