Merge pull request #92719 from pjjw/update/mongodb-42

mongodb: 4.0.12 -> 4.2.8
2020-07-24 20:15:29 +02:00
parent 0c075ce453 dbd0f3e957
commit fea9351d81
10 changed files with 131 additions and 5 deletions
@@ -2317,6 +2317,8 @@ in {

  cheetah = callPackage ../development/python-modules/cheetah { };

+  cheetah3 = callPackage ../development/python-modules/cheetah3 { };
+
  cherrypy = if isPy3k then
    callPackage ../development/python-modules/cherrypy { }
  else