mirror of
https://codeberg.org/leana8959/.files.git
synced 2025-12-06 06:39:14 +00:00
nix: moved pin away from inputs
This commit is contained in:
parent
2c01e142d0
commit
717bb367e7
3 changed files with 30 additions and 64 deletions
|
|
@ -61,10 +61,5 @@
|
|||
audio-lint.url = "git+https://git.earth2077.fr/leana/audio-lint";
|
||||
hbrainfuck.url = "git+https://git.earth2077.fr/leana/hbrainfuck";
|
||||
prop-solveur.url = "git+https://git.earth2077.fr/leana/prop_solveur";
|
||||
# pins
|
||||
neovim-pin.url = "github:nixos/nixpkgs/nixpkgs-unstable";
|
||||
alt-ergo-pin.url = "github:NixOS/nixpkgs/1b95daa381fa4a0963217a5d386433c20008208a";
|
||||
# stackage LTS 22.22 / ghc965 (May 19 2024) / hls 2.8.0.0
|
||||
ghc-pin.url = "github:NixOS/nixpkgs/1faadcf5147b9789aa05bdb85b35061b642500a4";
|
||||
};
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue