Merge pull request #5 from daniel-larraz/distutils

Remove unused StrictVersion import from distutils
cvc5 · Sep 24, 2024 · 3aae656 · 3aae656
2 parents 829eef7 + 4e938ab
commit 3aae656
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/genversions.py b/genversions.py
@@ -1,7 +1,6 @@
 #!/usr/bin/env python3
 
 from bs4 import BeautifulSoup
-from distutils.version import StrictVersion
 import copy
 import glob
 import jinja2