Merge pull request #256199 from wegank/ogre-bump

ogre: 14.0.1 -> 14.1.0
This commit is contained in:
Weijia Wang 2023-09-21 10:28:02 +02:00 committed by GitHub
commit 13526b82c2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -100,8 +100,8 @@ let
in
{
ogre_14 = common {
version = "14.0.1";
hash = "sha256-jtUm0jy0GsxkGlFdODGodPsuSaQgiE77BORnA6SFViU=";
version = "14.1.0";
hash = "sha256-CPyXqlUb69uLCsoomjFUbBj7bzPyI01m2yinFuoX5nE=";
};
ogre_13 = common {