Merge pull request #71528 from davidak/xzoom

xzoom: fix version
This commit is contained in:
Michael Raskin 2019-10-21 19:41:37 +00:00 committed by GitHub
commit a2f854b6ee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,19 +1,21 @@
{ stdenv, fetchurl, libX11, libXext, libXt, imake, gccmakedep}:
stdenv.mkDerivation rec {
name = "${pname}-${version}.${patchlevel}";
name = "${pname}-${version}";
pname = "xzoom";
version = "0.3";
patchlevel = "24";
major = "0";
minor = "3";
patch = "24";
version = "${major}.${minor}.${patch}";
# or fetchFromGitHub(owner,repo,rev) or fetchgit(rev)
src = fetchurl {
url = "http://www.ibiblio.org/pub/linux/libs/X/${pname}-${version}.tgz";
url = "http://www.ibiblio.org/pub/linux/libs/X/${pname}-${major}.${minor}.tgz";
sha256 = "0jzl5py4ny4n4i58lxx2hdwq9zphqf7h3m14spl3079y5mlzssxj";
};
patches = [
(fetchurl {
url = "http://http.debian.net/debian/pool/main/x/xzoom/xzoom_${version}-${patchlevel}.diff.gz";
url = "http://http.debian.net/debian/pool/main/x/xzoom/xzoom_${major}.${minor}-${patch}.diff.gz";
sha256 = "0zhc06whbvaz987bzzzi2bz6h9jp6rv812qs7b71drivvd820qbh";
})
];