search

coq-community / coq-nix-toolbox

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
MIT License
33 stars 11 forks source link

paco 4.2.1 #274

Open vbgl opened 1 month ago

proux01 commented 1 month ago

@vbgl I already tried that, but apparently we have to wait for a new release of itree

proux01 commented 1 month ago

Long story short: someone made some brutal changes in paco without testing itree on top of it and the resulting situation remains quite messy since itree had to adapt without any backward compatibility.