deputy-tinyos was already debianized, but we need to change its debianization

[deputy-tinyos.git] / debian / README.Debian

diff --git a/debian/README.Debian b/debian/README.Debian
new file mode 100644 (file)
index 0000000..1dc7fa7
--- /dev/null
+++ b/debian/README.Debian
@@ -0,0 +1,7 @@
+This is an updated debian package derived from:
+
+       http://tinyos.stanford.edu/tinyos/toolchain/repo/deputy-tinyos-1.1.tar.gz
+
+and incorporates the tinyos patch file:
+
+       http://tinyos.stanford.edu/tinyos/toolchain/repo/deputy.patch