castxml: 0.2.0 -> 0.3.4 (#95080)

wip/yesman
David Rusu 4 years ago committed by GitHub
parent a52e98a218
commit 48dfc9fa97
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 4
      pkgs/development/tools/castxml/default.nix

@ -8,13 +8,13 @@
stdenv.mkDerivation rec {
pname = "CastXML";
version = "0.2.0";
version = "0.3.4";
src = fetchFromGitHub {
owner = pname;
repo = pname;
rev = "v${version}";
sha256 = "1qpgr5hyb692h7l5igmq53m6a6vi4d9qp8ks893cflfx9955h3ip";
sha256 = "0ypj67xrgj228myp7l1gsjw1ja97q68nmj98dsd33srmiayqraj4";
};
nativeBuildInputs = [ cmake ] ++ stdenv.lib.optionals withMan [ pythonPackages.sphinx ];

Loading…
Cancel
Save