Merge pull request #104657 from RaghavSood/xteddy/src

xteddy: fix src
This commit is contained in:
Pavol Rusnak 2020-11-23 10:24:17 +01:00 committed by GitHub
commit 7a0a539f56
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -6,8 +6,8 @@ stdenv.mkDerivation rec {
src = fetchFromGitLab {
domain = "salsa.debian.org";
owner = "games-team";
repo = "xteddy";
rev = "debian%2F${version}"; # %2F = urlquote("/");
repo = pname;
rev = "debian/${version}";
sha256 = "0rm7w78d6qajq4fvi4agyqm0c70f3c1i0cy2jdb6kqql2k8w78qy";
};