hydra-battles icon indicating copy to clipboard operation
hydra-battles copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

Use master version of Coq in Nix CI.

Open Zimmi48 opened this issue 2 years ago • 0 comments

Context: https://coq.zulipchat.com/#narrow/stream/344515-Hydras-.26-Co.2E-universe/topic/Good.20riddance.20to.20binders.20in.20index/near/319202524

Zimmi48 avatar Jan 04 '23 09:01 Zimmi48