From be211683fba2f387eee1eebb0371c28ba932e43a Mon Sep 17 00:00:00 2001 From: CoprDistGit Date: Thu, 9 Mar 2023 15:54:17 +0000 Subject: automatic import of python-pysmt --- .gitignore | 1 + 1 file changed, 1 insertion(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index e69de29..09b23fb 100644 --- a/.gitignore +++ b/.gitignore @@ -0,0 +1 @@ +/PySMT-0.9.5.tar.gz -- cgit v1.2.3