[#160390] FAILED del=adios del=cvc4

[Girar Builder awaiter robot]

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