diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..61d87b6
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+SOURCES/proptest-0.10.1.crate
diff --git a/.rust-proptest0.10.metadata b/.rust-proptest0.10.metadata
index e69de29..0294713 100644
--- a/.rust-proptest0.10.metadata
+++ b/.rust-proptest0.10.metadata
@@ -0,0 +1 @@
+8e46539aac4ea43a35e667a2a0f83853bd798478  SOURCES/proptest-0.10.1.crate
diff --git a/SOURCES/proptest-0.10.1.crate b/SOURCES/proptest-0.10.1.crate
deleted file mode 100644
index b73555d..0000000
Binary files a/SOURCES/proptest-0.10.1.crate and /dev/null differ