[#222097] FAILED yices.git=2.3.0-alt3

[Girar Builder awaiter robot]

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

2019-Feb-19 22:00:41 :: test-only task #222097 for sisyphus started by glebfm:
#100 build 2.3.0-alt3 from /people/glebfm/packages/yices.git fetched at 2019-Feb-19 22:00:40
2019-Feb-19 22:00:41 :: [x86_64] #100 yices.git 2.3.0-alt3: build start
2019-Feb-19 22:00:41 :: [i586] #100 yices.git 2.3.0-alt3: build start
2019-Feb-19 22:00:42 :: [aarch64] #100 yices.git 2.3.0-alt3: build start
  -z, --null-data
                 separate lines by NUL characters
      --help     display this help and exit
      --version  output version information and exit
If no -e, --expression, -f, or --file option is given, then the first
non-option argument is taken as the sed script to interpret.  All
remaining arguments are names of input files; if no input files are
specified, then the standard input is read.
GNU sed home page: <https://www.gnu.org/software/sed/>.
General help using GNU software: <https://www.gnu.org/gethelp/>.
2019-Feb-19 22:01:17 :: [x86_64] yices.git 2.3.0-alt3: remote: build failed
2019-Feb-19 22:01:17 :: [x86_64] #100 yices.git 2.3.0-alt3: build FAILED
  -z, --null-data
                 separate lines by NUL characters
      --help     display this help and exit
      --version  output version information and exit
If no -e, --expression, -f, or --file option is given, then the first
non-option argument is taken as the sed script to interpret.  All
remaining arguments are names of input files; if no input files are
specified, then the standard input is read.
GNU sed home page: <https://www.gnu.org/software/sed/>.
General help using GNU software: <https://www.gnu.org/gethelp/>.
2019-Feb-19 22:01:23 :: [i586] yices.git 2.3.0-alt3: remote: build failed
2019-Feb-19 22:01:23 :: [i586] #100 yices.git 2.3.0-alt3: build FAILED
  -z, --null-data
                 separate lines by NUL characters
      --help     display this help and exit
      --version  output version information and exit
If no -e, --expression, -f, or --file option is given, then the first
non-option argument is taken as the sed script to interpret.  All
remaining arguments are names of input files; if no input files are
specified, then the standard input is read.
GNU sed home page: <https://www.gnu.org/software/sed/>.
General help using GNU software: <https://www.gnu.org/gethelp/>.
2019-Feb-19 22:02:12 :: [aarch64] yices.git 2.3.0-alt3: remote: build failed
2019-Feb-19 22:02:12 :: [aarch64] #100 yices.git 2.3.0-alt3: build FAILED
2019-Feb-19 22:01:17 :: [x86_64] build FAILED
2019-Feb-19 22:01:23 :: [i586] build FAILED
2019-Feb-19 22:02:12 :: [aarch64] build FAILED
2019-Feb-19 22:02:12 :: task #222097 for sisyphus FAILED