Subject: Re: [bug#27461] [PATCH v2 1/2] gnu: Add z3.

From: Theodoros Foradis <[email-masked]>
Date: Wed, 02 Aug 2017 13:04:14 +0300

Hello,

> Theodoros, would you consider writing a patch switching from
> ‘gnu-build-system’ to ‘cmake-build-system’?

I am replying with a patch, changing the build system to cmake, and
adding the python bindings in the same package.

The package does not propagate python. I need someone to test the python
bindings, because I am not a python user myself.

Regards,
-- 
Theodoros Foradis