Naïm Camille Favier

There is an action for automatically updating the lockfile and sending PRs: https://github.com/DeterminateSystems/update-flake-lock

Also, whatever steps need to be taken could just be documented in [RELEASE.md](https://github.com/agda/cubical/blob/master/RELEASE.md) :)

Another problem is that, even ignoring aliases, nix-env will not include syntactically duplicate derivations (https://github.com/NixOS/nix/commit/4eb637c799bddfcff7661164f98cd604fe4120f5), so e.g. `linux_latest` is not included. I'm starting to think we should stop relying on...

I assume the exposed account has a very restricted scope (but then why does it need a password?). @garbas ?

I don't know. They seem close to being fixed now.

Opened https://github.com/NixOS/nix/issues/6922. We should probably call nixpkgs with `--argstr system x86_64-linux` in nixos-search though...

No, this would require changes to the nixpkgs module system to tag renamed options with the old option's name. I probably won't have time to work on that before a...

I'd much rather unify what we currently have than split things further. The only difference between the two tabs is changing a channel name from `nixpkgs` to `nixos`, surely we...

The whole idea of having those instructions there feels a lot like "giving a man a fish" anyway. I think Nix users should be expected to know how to install...

`services.lnbits.package` needs a `defaultText`.