Merge pull request #243714 from wegank/opendungeons-bump

opendungeons: unstable-2021-11-06 -> unstable-2023-01-09
This commit is contained in:
Weijia Wang 2023-07-15 23:16:37 +02:00 committed by GitHub
commit 6d6d83a475
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,14 +1,14 @@
{ lib, stdenv, fetchFromGitHub, ogre, cegui, boost, sfml, openal, cmake, ois, pkg-config }:
stdenv.mkDerivation rec {
stdenv.mkDerivation {
pname = "opendungeons";
version = "unstable-2021-11-06";
version = "unstable-2023-01-09";
src = fetchFromGitHub {
owner = "OpenDungeons";
repo = "OpenDungeons";
rev = "c180ed1864eab5fbe847d1dd5c5c936c4e45444e";
sha256 = "0xf7gkpy8ll1h59wyaljf0hr8prg7p4ixz80mxqwcnm9cglpgn63";
hash = "sha256-w9h36WOpWsZxrwD9Hsk9L1+UIXCSKs9TgYFS5O98x3U=";
};
patches = [