[devel] cvc4 FTBFS; was: Re: I: java grand leap is finished

[Dmitry V. Levin]

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
----------- следующая часть -----------
Было удалено вложение не в текстовом формате...
Имя     : отсутствует
Тип     : application/pgp-signature
Размер  : 819 байтов
Описание: отсутствует
Url     : <http://lists.altlinux.org/pipermail/devel/attachments/20160308/36b71acd/attachment.bin>