From: "Dmitry V. Levin" <ldv@altlinux.org>
To: ALT Linux Team development discussions <devel@lists.altlinux.org>
Subject: Re: [devel] cvc4 FTBFS; was: Re: I: java grand leap is finished
Date: Tue, 8 Mar 2016 18:50:00 +0300
Message-ID: <20160308155000.GA15036@altlinux.org> (raw)
In-Reply-To: <alpine.LFD.2.20.1603081443430.19380@imap.altlinux.org>
[-- Attachment #1: Type: text/plain, Size: 359 bytes --]
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
[-- Attachment #2: Type: application/pgp-signature, Size: 819 bytes --]
prev parent reply other threads:[~2016-03-08 15:50 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-02-13 23:35 [devel] " Igor Vlasenko
2016-02-15 10:06 ` Хихин Руслан
2016-03-04 16:07 ` Igor Vlasenko
2016-03-04 16:52 ` Igor Vlasenko
2016-03-04 17:26 ` Mikhail Efremov
2016-03-04 17:34 ` Igor Vlasenko
2016-03-04 17:43 ` Mikhail Efremov
2016-03-04 17:50 ` Igor Vlasenko
2016-03-04 18:15 ` Mikhail Efremov
2016-03-04 18:39 ` Igor Vlasenko
2016-03-08 11:48 ` [devel] cvc4 FTBFS; was: " Ivan Zakharyaschev
2016-03-08 15:50 ` Dmitry V. Levin [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20160308155000.GA15036@altlinux.org \
--to=ldv@altlinux.org \
--cc=devel@lists.altlinux.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
ALT Linux Team development discussions
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://lore.altlinux.org/devel/0 devel/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 devel devel/ http://lore.altlinux.org/devel \
devel@altlinux.org devel@altlinux.ru devel@lists.altlinux.org devel@lists.altlinux.ru devel@linux.iplabs.ru mandrake-russian@linuxteam.iplabs.ru sisyphus@linuxteam.iplabs.ru
public-inbox-index devel
Example config snippet for mirrors.
Newsgroup available over NNTP:
nntp://lore.altlinux.org/org.altlinux.lists.devel
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git