]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/valgrind/Control
update
[l4.git] / l4 / pkg / valgrind / Control
index 4ec81355f7ac86ff4a0a65880e888e1c4e6e19ae..aeda3d5b51c1442ef37a7414c4ffab5c7bccecb3 100644 (file)
@@ -1,3 +1,2 @@
 requires: stdlibs libpthread l4re_c-util
-provides: 
 maintainer: doebel@os.inf.tu-dresden.de