On Tue, Mar 08, 2016 at 02:48:02PM +0300, Ivan Zakharyaschev wrote:
> Добрый день!
> 
> Нет ли соображений, что делать с 
> непересобирающимся cvc4?

Пакету cvc4 нужен мантейнер.  Пока его нет, пакет можно удалить
(вместе с python-module-pysmt для замыкания установки и сборки):
http://git.altlinux.org/tasks/161091/logs/events.1.1.log


-- 
ldv