From 1a30a64ba97cb7813c127aad35d5b14900d723f7 Mon Sep 17 00:00:00 2001
From: CoprDistGit <infra@openeuler.org>
Date: Thu, 9 Mar 2023 18:18:22 +0000
Subject: automatic import of python-z3

---
 sources | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 sources

(limited to 'sources')

diff --git a/sources b/sources
new file mode 100644
index 0000000..3dbfa67
--- /dev/null
+++ b/sources
@@ -0,0 +1 @@
+b639b86f9761a51e3f421e531a6e7c70  z3-0.2.0.tar.gz
-- 
cgit v1.2.3