owl-base: remove unused input

2019-12-06 12:00:44 -05:00
parent 6ac6e7ac0b
commit 13f55534cb
1 changed files with 1 additions and 1 deletions
@@ -1,4 +1,4 @@
-{ stdenv, buildDunePackage, fetchFromGitHub, integers, stdlib-shims }:
+{ stdenv, buildDunePackage, fetchFromGitHub, stdlib-shims }:
 buildDunePackage rec {
  pname = "owl-base";