Merge pull request #162477 from mweinelt/dddvb

2022-03-05 15:33:14 +01:00
parent 0ef4276619 b1a7001712
commit 84a11cdc0d
1 changed files with 1 additions and 1 deletions
@@ -6,7 +6,7 @@

 stdenv.mkDerivation rec {
  pname = "dddvb";
-  version = "0.9.33-404-ge9ccab3";
+  version = "0.9.38-pre.4";

  src = fetchFromGitHub {
    owner = "DigitalDevices";