diff --git a/download b/download
new file mode 100644
index 0000000000000000000000000000000000000000..0f1c6ac089986d793631138c6efad0946bdef2c5
--- /dev/null
+++ b/download
@@ -0,0 +1,2 @@
+b6f9973de878e37a589f0989e4138480  rustc-1.71.1-src.tar.xz
+4c63bd9552e0a694d70201bdad011ca5  wasi-libc-wasi-sdk-20.tar.gz
diff --git a/rustc-1.71.1-src.tar.xz b/rustc-1.71.1-src.tar.xz
deleted file mode 100644
index 9a7b8a5781c895bb2884cff7a2b6301e78bb1bce..0000000000000000000000000000000000000000
Binary files a/rustc-1.71.1-src.tar.xz and /dev/null differ
diff --git a/wasi-libc-wasi-sdk-20.tar.gz b/wasi-libc-wasi-sdk-20.tar.gz
deleted file mode 100644
index 2b610eaa2259673607592c6426989c346b018d60..0000000000000000000000000000000000000000
Binary files a/wasi-libc-wasi-sdk-20.tar.gz and /dev/null differ