Merge pull request #52712 from obadz/mono

mono: drop minor versions and upgrade to 5.16.0.220
This commit is contained in:
obadz
2018-12-24 13:47:18 +00:00
committed by GitHub
19 changed files with 81 additions and 453 deletions

View File

@@ -3725,7 +3725,7 @@ in {
pythonnet = callPackage ../development/python-modules/pythonnet {
# `mono >= 4.6` required to prevent crashes encountered with earlier versions.
mono = pkgs.mono46;
mono = pkgs.mono4;
};
pytz = callPackage ../development/python-modules/pytz { };