add(nix): prop-solveur

This commit is contained in:
Léana 江 2024-03-13 20:32:31 +01:00 committed by Léana 江
parent 8c82bd9377
commit 16bf4492f0
4 changed files with 92 additions and 19 deletions

View file

@ -40,6 +40,7 @@
# my packages
audio-lint = input.audio-lint.defaultPackage.${system};
hbrainfuck = input.hbrainfuck.packages.${system}.default;
prop-solveur = input.prop-solveur.packages.${system}.default;
};
defaultOptions = {lib, ...}: {