[#222098] DONE (try 2) yices.git=2.3.0-alt3

[Girar Builder pender robot]

http://git.altlinux.org/tasks/archive/done/_216/222098/logs/events.2.1.log

2019-Feb-19 22:26:58 :: task is ready for commit
2019-Feb-19 22:27:05 :: repo clone OK
2019-Feb-19 22:27:06 :: packages update OK
2019-Feb-19 22:27:10 :: [x86_64 i586 aarch64 noarch] update OK
2019-Feb-19 22:27:10 :: [x86_64-i586] update OK
2019-Feb-19 22:27:10 :: repo update OK
2019-Feb-19 22:27:34 :: repo save OK
2019-Feb-19 22:27:34 :: updated /gears/y/yices.git branch `sisyphus'
2019-Feb-19 22:27:35 :: gears update OK
2019-Feb-19 22:27:36 :: ACL for orphaned project `yices' assigned to user `glebfm'
2019-Feb-19 22:27:36 :: task #222098 for sisyphus DONE