Akira Komamura
Akira Komamura
@psionic-k AFAIK this has been already done. See `recipes-archive-melpa.json`. There is `deps` field, and the file is automatically generated by the script in the directory. You can find other scripts...
@rencire Nixpkgs now contains `dpt-rp1-py` package, so I think this PR can be closed. For the development environment, you can use ```sh nix develop nixpkgs#dpt-rp1-py ``` Actually, the nixpkgs version...
@ncouture Thanks for your suggestion, but I don't think the tool is relevant here. We periodically update dependencies and rebuild the packages, but the repository itself is seldom tagged. It's...
> I guess this can be regarded as upstream: https://github.com/leanprover/vscode-lean/blob/master/src/abbreviation/abbreviations.json The upstream URL has moved to [a new location](https://raw.githubusercontent.com/leanprover/vscode-lean4/refs/heads/master/lean4-unicode-input/src/abbreviations.json) (see #97).
If you define `lean4-mode-abbrev-mode`, it will be enabled by default when the user enables `abbrev-mode`. To make it opt-in, you can define a different variable and let the user set...
Actually #199 doesn't prevent refetching tarballs. See https://github.com/NixOS/nix/issues/12751
Also see https://github.com/NixOS/nix/issues/11228
> hmm, in fact, it seems i was a little hasty on this PR. it hasn't addressed the issue - i must've dropped into a nix shell with coreutils to...
@cmacrae Thank you.
> Actually it seems to work when I test on my machine: Confirmed on Nix 2.18.2. Thank you for providing the information. The lzip support is undocumented, but it would...