--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dev-util/RBTools/Manifest	Mon Apr 08 18:37:18 2013 +0200
@@ -0,0 +1,1 @@
+DIST RBTools-0.5.tar.gz 87824 SHA256 da3cbef4723cb4081098af20797269eae27902ece239f526e6e4a69fd248cb74 SHA512 bcafbedb16848d09ad2d0836bc00fefbcda8d9862243a18226de26dea672cdc9d000ed1ee695d9d9ed872d089c4afb6d29f8a7f26918bc367d5698fdd3ba091c WHIRLPOOL 5a2fb951bc6b13186256a12da4f6bce7576a9bfe034d9cfc817248f24b3e75558fe19f478a4b1f1e577b63c0fd821e9f855c99578bb9fe6c2fd48f35dde59e2f