[#161091] TESTED del=cvc4 del=python-module-pysmt

[Girar Builder awaiter robot]

http://git.altlinux.org/tasks/161091/logs/events.1.1.log

2016-Mar-08 15:41:06 :: test-only task #161091 for sisyphus started by ldv:
#100 delete cvc4
#200 delete python-module-pysmt
2016-Mar-08 15:41:07 :: build check OK
2016-Mar-08 15:41:07 :: noarch check OK
2016-Mar-08 15:41:08 :: plan: src +0 -2 =17277, i586 +0 -10 =33349, noarch +0 -4 =16868, x86_64 +0 -10 =33284
2016-Mar-08 15:41:08 :: version check OK
2016-Mar-08 15:42:34 :: generated apt indices
2016-Mar-08 15:42:34 :: created next repo
2016-Mar-08 15:43:04 :: dependencies check OK
2016-Mar-08 15:43:32 :: ELF symbols check OK
2016-Mar-08 15:43:32 :: [x86_64-i586] plan: #0 +0 -4 =11286
2016-Mar-08 15:43:51 :: [x86_64-i586] generated apt indices
2016-Mar-08 15:43:51 :: [x86_64-i586] created next repo
2016-Mar-08 15:44:01 :: [x86_64-i586] dependencies check OK
2016-Mar-08 15:44:01 :: gears inheritance check OK
2016-Mar-08 15:44:01 :: srpm inheritance check OK
girar-check-perms: access to cvc4 ALLOWED for ldv: project leader welcomes random builders
girar-check-perms: access to python-module-pysmt ALLOWED for ldv: project leader welcomes random builders
2016-Mar-08 15:44:01 :: acl check OK
2016-Mar-08 15:44:24 :: created contents_index files
2016-Mar-08 15:44:34 :: created hash files: i586 noarch src x86_64-i586 x86_64
2016-Mar-08 15:44:35 :: task #161091 for sisyphus TESTED