Merge pull request #226486 from trofi/wavpack-dev-output

wavpack: split headers to "dev" output (and "doc", "man" while at it)
This commit is contained in:
Sergei Trofimovich 2023-04-24 21:57:16 +01:00 committed by GitHub
commit d6856047c8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -19,6 +19,8 @@ stdenv.mkDerivation rec {
hash = "sha256-4QDtLywu0PT+YsMV26M74bL2P7p4s1tk8ZBQtQcubaU=";
};
outputs = [ "out" "dev" "doc" "man" ];
meta = with lib; {
description = "Hybrid audio compression format";
homepage = "https://www.wavpack.com/";