[#141952] DONE cvc4.git=1.4-alt2

[Girar Builder pender robot]

http://git.altlinux.org/tasks/archive/done/_138/141952/logs/events.1.1.log

2015-Mar-17 06:01:20 :: task #141952 for sisyphus started by real:
#100 build 1.4-alt2 from /people/real/packages/cvc4.git
2015-Mar-17 06:01:21 :: [x86_64] #100 cvc4.git 1.4-alt2: build start
2015-Mar-17 06:01:21 :: [i586] #100 cvc4.git 1.4-alt2: build start
2015-Mar-17 07:11:03 :: [x86_64] #100 cvc4.git 1.4-alt2: build OK
2015-Mar-17 07:16:11 :: [i586] #100 cvc4.git 1.4-alt2: build OK
2015-Mar-17 07:16:26 :: build check OK
--- libcvc4-devel-docs-1.4-alt2.i586.rpm.share	2015-03-17 07:16:40.254529602 +0000
+++ libcvc4-devel-docs-1.4-alt2.x86_64.rpm.share	2015-03-17 07:16:43.430473509 +0000
@@ -109,3 +109,3 @@
 /usr/share/doc/libcvc4-devel-docs-1.4/html/array__store__all_8h__dep__incl.md5	100644	ASCII text, with no line terminators
-/usr/share/doc/libcvc4-devel-docs-1.4/html/array__store__all_8h__dep__incl.png	100644	PNG image, 8-bit/color RGBA, non-interlaced
+/usr/share/doc/libcvc4-devel-docs-1.4/html/array__store__all_8h__dep__incl.png	100644	PNG image, 8-bit/color RGB, non-interlaced
 /usr/share/doc/libcvc4-devel-docs-1.4/html/array__store__all_8h__incl.map	100644	ASCII English text
@@ -1175,3 +1175,3 @@
 /usr/share/doc/libcvc4-devel-docs-1.4/html/expr__manager_8h__dep__incl.md5	100644	ASCII text, with no line terminators
-/usr/share/doc/libcvc4-devel-docs-1.4/html/expr__manager_8h__dep__incl.png	100644	PNG image, 8-bit/color RGB, non-interlaced
+/usr/share/doc/libcvc4-devel-docs-1.4/html/expr__manager_8h__dep__incl.png	100644	PNG image, 8-bit/color RGBA, non-interlaced
 /usr/share/doc/libcvc4-devel-docs-1.4/html/expr__manager_8h__incl.map	100644	ASCII English text
warning (#100): non-identical /usr/share part
warning (#100): libcvc4-devel-docs-1.4-alt2.i586.rpm should be .noarch.rpm
2015-Mar-17 07:16:46 :: noarch check OK
2015-Mar-17 07:16:47 :: plan: src +1 -1 =17592, i586 +10 -10 =33204, x86_64 +10 -10 =33131
2015-Mar-17 07:16:47 :: version check OK
2015-Mar-17 07:18:41 :: generated apt indices
2015-Mar-17 07:18:41 :: created next repo
2015-Mar-17 07:18:56 :: dependencies check OK
2015-Mar-17 07:21:36 :: ELF symbols check OK
2015-Mar-17 07:22:03 :: [x86_64] #100 cvc4: install check OK
2015-Mar-17 07:22:05 :: [i586] #100 cvc4: install check OK
2015-Mar-17 07:22:28 :: [x86_64] #100 cvc4-debuginfo: install check OK
2015-Mar-17 07:22:33 :: [i586] #100 cvc4-debuginfo: install check OK
2015-Mar-17 07:22:45 :: [x86_64] #100 libcvc4: install check OK
2015-Mar-17 07:22:52 :: [i586] #100 libcvc4: install check OK
2015-Mar-17 07:23:08 :: [x86_64] #100 libcvc4-debuginfo: install check OK
2015-Mar-17 07:23:18 :: [i586] #100 libcvc4-debuginfo: install check OK
2015-Mar-17 07:23:29 :: [x86_64] #100 libcvc4-devel: install check OK
2015-Mar-17 07:23:41 :: [i586] #100 libcvc4-devel: install check OK
2015-Mar-17 07:23:48 :: [x86_64] #100 libcvc4-devel-docs: install check OK
2015-Mar-17 07:24:02 :: [i586] #100 libcvc4-devel-docs: install check OK
2015-Mar-17 07:24:05 :: [x86_64] #100 python-module-CVC4: install check OK
2015-Mar-17 07:24:21 :: [i586] #100 python-module-CVC4: install check OK
2015-Mar-17 07:24:29 :: [x86_64] #100 python-module-CVC4-debuginfo: install check OK
2015-Mar-17 07:24:47 :: [x86_64] #100 python3-module-CVC4: install check OK
2015-Mar-17 07:24:49 :: [i586] #100 python-module-CVC4-debuginfo: install check OK
2015-Mar-17 07:25:09 :: [i586] #100 python3-module-CVC4: install check OK
2015-Mar-17 07:25:13 :: [x86_64] #100 python3-module-CVC4-debuginfo: install check OK
2015-Mar-17 07:25:37 :: [i586] #100 python3-module-CVC4-debuginfo: install check OK
2015-Mar-17 07:25:38 :: [x86_64-i586] plan: #4 +4 -4 =10452
2015-Mar-17 07:26:22 :: [x86_64-i586] arepo build OK
2015-Mar-17 07:26:41 :: [x86_64-i586] generated apt indices
2015-Mar-17 07:26:41 :: [x86_64-i586] created next repo
2015-Mar-17 07:26:49 :: [x86_64-i586] dependencies check OK
2015-Mar-17 07:26:49 :: gears inheritance check OK
2015-Mar-17 07:26:49 :: srpm inheritance check OK
girar-check-perms: access to cvc4 ALLOWED for real: project leader
2015-Mar-17 07:26:49 :: acl check OK
2015-Mar-17 07:27:03 :: created contents_index files
2015-Mar-17 07:27:13 :: created hash files: i586 src x86_64-i586 x86_64
2015-Mar-17 07:27:31 :: task #141952 for sisyphus TESTED
2015-Mar-17 07:27:31 :: task is ready for commit
2015-Mar-17 07:30:49 :: repo clone OK
2015-Mar-17 07:30:52 :: packages update OK
2015-Mar-17 07:30:55 :: [i586 x86_64] update OK
2015-Mar-17 07:30:55 :: [x86_64-i586] update OK
2015-Mar-17 07:30:55 :: repo update OK
2015-Mar-17 07:31:02 :: repo save OK
2015-Mar-17 07:31:07 :: updated /gears/c/cvc4.git branch `sisyphus'
2015-Mar-17 07:31:16 :: gears update OK
2015-Mar-17 07:31:16 :: task #141952 for sisyphus DONE