Cyril Cohen (Jul 09 2022 at 08:49): Cyril Cohen (Jul 09 2022 at 08:49):I just updated the ersion of nixpkgs at use in coq-nix-toolbox (https://github.com/coq-community/coq-nix-toolbox/pull/110) 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: Dec 07 2023 at 09:01 UTC