trailofbits/manticore

__main__.py: fetch manticore version from installed module

#1310

disconnect3d wants to merge specify-version-in-setup-only into master