Stream: Nix toolbox devs & users

Topic: Coq nix toolbox repaired for master

view this post on Zulip Cyril Cohen (Jul 09 2022 at 08:49):

I just updated the ersion of nixpkgs at use in coq-nix-toolbox ( with what @Théo Zimmermann fixed. So CIs should start working again as soon as the latest version of the toolbox is in use.

Last updated: May 19 2024 at 16:02 UTC