nix: update prop-solveur

This commit is contained in:
Primrose 2024-09-14 00:33:09 +02:00
parent d4c4f203f4
commit d94ca02bc3
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
2 changed files with 12 additions and 23 deletions

View file

@ -88,7 +88,10 @@
url = "git+https://git.earth2077.fr/leana/hbrainfuck";
inputs.nixpkgs.follows = "nixpkgs-stable";
};
prop-solveur.url = "git+https://git.earth2077.fr/leana/prop_solveur";
prop-solveur = {
url = "git+https://git.earth2077.fr/leana/prop_solveur";
inputs.nixpkgs.follows = "nixpkgs-stable";
};
hoot = {
url = "git+https://git.earth2077.fr/leana/hoot";
inputs.nixpkgs.follows = "nixpkgs-stable";