]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/moe/Control
update
[l4.git] / l4 / pkg / moe / Control
index c8d86930884ac9c049a9acce2543a1e37a6e9f50..be88c44d01c48a5a7f8594af5d548121c8db75bd 100644 (file)
@@ -1,4 +1,4 @@
-requires: l4re l4sys libc libsupc++ libsigma0 libloader libkproxy
+requires: l4re l4sys libc_minimal libsupc++_minimal libsigma0 libloader libkproxy
           libc_be_minimal_log_io
 source-pkg: boehm_gc
 maintainer: adam@os.inf.tu-dresden.de, warg@os.inf.tu-dresden.de