diff --git a/build/pkgs/libsemigroups/dependencies b/build/pkgs/libsemigroups/dependencies index 4f00de20375..54c5a1a983c 100644 --- a/build/pkgs/libsemigroups/dependencies +++ b/build/pkgs/libsemigroups/dependencies @@ -1,4 +1,3 @@ -# no dependencies - +pkgconf ---------- All lines of this file are ignored except the first.