forked from mirrors/nixpkgs
01fc89623b
Builds newer than 2.4.1 require buildDotnetModule instead of buildDotnetPackage. |
||
---|---|---|
.. | ||
patches | ||
python-language-server | ||
boogie-deps.nix |
01fc89623b
Builds newer than 2.4.1 require buildDotnetModule instead of buildDotnetPackage. |
||
---|---|---|
.. | ||
patches | ||
python-language-server | ||
boogie-deps.nix |