* [#160390] FAILED del=adios del=cvc4
@ 2016-03-02 14:18 Girar Builder awaiter robot
0 siblings, 0 replies; only message in thread
From: Girar Builder awaiter robot @ 2016-03-02 14:18 UTC (permalink / raw)
To: Ivan Zakharyaschev; +Cc: sisyphus-incominger
http://git.altlinux.org/tasks/160390/logs/events.1.1.log
2016-Mar-02 14:17:10 :: test-only task #160390 for sisyphus started by imz:
#100 delete adios
#200 delete cvc4
2016-Mar-02 14:17:10 :: build check OK
2016-Mar-02 14:17:10 :: noarch check OK
2016-Mar-02 14:17:12 :: plan: src +0 -2 =17273, i586 +0 -20 =33315, noarch +0 -1 =16868, x86_64 +0 -20 =33250
2016-Mar-02 14:17:12 :: version check OK
2016-Mar-02 14:18:34 :: generated apt indices
2016-Mar-02 14:18:34 :: created next repo
i586: NEW unmet dependencies detected:
python-module-pysmt#0.2.5-alt1.dev.git20150315 python2.7(CVC4)
x86_64: NEW unmet dependencies detected:
python-module-pysmt#0.2.5-alt1.dev.git20150315 python2.7(CVC4)
ACLs of affected packages:
python-module-pysmt @python @everybody
2016-Mar-02 14:18:56 :: dependencies check FAILED
2016-Mar-02 14:18:56 :: task #160390 for sisyphus FAILED
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2016-03-02 14:18 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-03-02 14:18 [#160390] FAILED del=adios del=cvc4 Girar Builder awaiter robot
ALT Linux Girar Builder robot reports
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://lore.altlinux.org/sisyphus-incominger/0 sisyphus-incominger/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 sisyphus-incominger sisyphus-incominger/ http://lore.altlinux.org/sisyphus-incominger \
sisyphus-incominger@lists.altlinux.org sisyphus-incominger@lists.altlinux.ru sisyphus-incominger@lists.altlinux.com
public-inbox-index sisyphus-incominger
Example config snippet for mirrors.
Newsgroup available over NNTP:
nntp://lore.altlinux.org/org.altlinux.lists.sisyphus-incominger
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git