Liu Yuxi

I have the same problem running tmux 3.2a. On start, tmux prompts syntax error on Line 41 and Line 100. It is solved by manually apply #44 .

Are you using the "no node or yarn" option to install? Short solution: make node and yarn available to your environment (e.g. edit `/nixos/configuration.nix`, use [home-manager](https://github.com/nix-community/home-manager), or just `nix-env -i`)....

I don't know anything about this project, but just encountered a similar problem today. Here's how I solved it: From the documentation, the [conf-gsl](https://opam.ocaml.org/packages/conf-gsl/) package is a "Virtual package relying...

Sorry to resurrect a zombie issue. I recently encountered the same problem and ended up with [a solution](https://github.com/crvdgc/nix-darwin-config/blob/ea627383caaa14315e0f5191ed486d0e80b785c3/neovim/lean.lua#L44-L48) that's good enough for me. ```lua local function fzf_table(sources) table.foreach(sources, function (k,...

Hi, @nomeata. The problem is the `lean-mdbook`'s [`cargoDeps.outputHash`](https://github.com/leanprover/lean4/blob/178ab8ef2e7aba9e18c9fcfeda12e763d62983af/doc/flake.nix#L30). I'm not sure what's the dependency requirement for that directory, so I just bumped the hash as well as the `flake.lock` file...

Hi, looking at the full-ci failure, I added one fix for [a warning](https://github.com/leanprover/lean4/actions/runs/7170442622/job/19523206399#step:11:82) for [CMP0148](https://cmake.org/cmake/help/latest/policy/CMP0148.html) because CMake is bumped to 3.27. As for the actual error, my hypothesis is that...

What about pinning `nixpkgs` to [the revision where CCache is bumped to 4.8.2](https://github.com/NixOS/nixpkgs/commit/94a9bd0f55cca537d6269163c6bb91590b023ecb)? That should be generate the minimum breakage but also solves #3048. If that doesn't work as well,...

Thank you for the suggestions @nomeata. I tried `nixpkgs` 23.11 and it can compile Lean 4 but fails to build the `doc`. `nixpkgs` 23.05 worked for me locally (on `aarch64-darwin`),...

Hi, the CI passed, I wonder if I should rebase again and try to merge this PR?

> On which Android API did you tested it? I'm sorry, due to a change of computer, I lost the previous configuration for this project. I think it's automatically picked...