From be211683fba2f387eee1eebb0371c28ba932e43a Mon Sep 17 00:00:00 2001
From: CoprDistGit <infra@openeuler.org>
Date: Thu, 9 Mar 2023 15:54:17 +0000
Subject: automatic import of python-pysmt

---
 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..5891c37
--- /dev/null
+++ b/sources
@@ -0,0 +1 @@
+55a29a5d7db4811002bc1d7f16e1c688  PySMT-0.9.5.tar.gz
-- 
cgit v1.2.3