Merge pull request #168509 from andresilva/andre/update-ferdi-source

ferdi: update source url
This commit is contained in:
Pascal Bach 2022-04-14 21:16:11 +02:00 committed by GitHub
commit cac7ad2c70
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -19,7 +19,7 @@ mkFranzDerivation' rec {
name = "Ferdi";
version = "5.8.1";
src = fetchurl {
url = "https://github.com/getferdi/ferdi/releases/download/v${version}/ferdi_${version}_amd64.deb";
url = "https://master.dl.sourceforge.net/project/ferdi.mirror/v${version}/ferdi_${version}_amd64.deb";
sha256 = "sha256-Bl7bM5iDQlfPSZxksqlg7GbuwWlm53QkOf/TQEg3/n0=";
};
extraBuildInputs = [ xorg.libxshmfence ];