diff --git a/z3_4.8.12.orig.tar.gz.delta b/z3_4.8.12.orig.tar.gz.delta
new file mode 100644
index 0000000..7882e88
Binary files /dev/null and b/z3_4.8.12.orig.tar.gz.delta differ
diff --git a/z3_4.8.12.orig.tar.gz.id b/z3_4.8.12.orig.tar.gz.id
new file mode 100644
index 0000000..2333010
--- /dev/null
+++ b/z3_4.8.12.orig.tar.gz.id
@@ -0,0 +1 @@
+bdace68b70a6e823a34fb8d1dc9d4a92d7ec6190