search

coq-community / coq-nix-toolbox

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

Testing nixpkgs#350287 #276

Open CohenCyril opened 2 weeks ago

CohenCyril commented 2 weeks ago

Testing https://github.com/NixOS/nixpkgs/pull/350287

CohenCyril commented 2 weeks ago

@Zimmi48 @proux01 are you aware of this smtcoq failure?

proux01 commented 2 weeks ago

No but it's not "uncommon" that the dependencies of smtcoq like cvc5 or Z3 break. Maybe @vbgl heard of it.

vbgl commented 2 weeks ago

No, I hadn’t head of smtcoq breaking. See: https://github.com/NixOS/nixpkgs/pull/348755

vbgl commented 1 week ago

cvc5 & smtcoq have just been fixed in nixpkgs (and in coq-nix-toolbox).