2026-10-07 01:38.46: New job: build conf-python3-sympy.1 (9a5509f44dc2)
2026-10-07 01:38.46: Waiting for resource in pool day11-builds
2026-10-07 02:15.12: Got resource from pool day11-builds
2026-10-07 02:15.12: [profile full] build conf-python3-sympy.1
2026-10-07 02:15.12: build conf-python3-sympy.1 (9a5509f44dc2)
=== DEPENDENCIES (1 transitive) ===
  conf-python-3.9.0.0                                4f526fe94903
=== STDOUT ===
Processing: [default: loading data]

The following system packages will first need to be installed:
    python3-sympy

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "python3-sympy"
- Selecting previously unselected package python3-numpy-dev:amd64.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20940 files and directories currently installed.)
- Preparing to unpack .../00-python3-numpy-dev_1%3a2.2.4+ds-1_amd64.deb ...
- Unpacking python3-numpy-dev:amd64 (1:2.2.4+ds-1) ...
- Selecting previously unselected package libblas3:amd64.
- Preparing to unpack .../01-libblas3_3.12.1-6_amd64.deb ...
- Unpacking libblas3:amd64 (3.12.1-6) ...
- Selecting previously unselected package libgfortran5:amd64.
- Preparing to unpack .../02-libgfortran5_14.2.0-19_amd64.deb ...
- Unpacking libgfortran5:amd64 (14.2.0-19) ...
- Selecting previously unselected package liblapack3:amd64.
- Preparing to unpack .../03-liblapack3_3.12.1-6_amd64.deb ...
- Unpacking liblapack3:amd64 (3.12.1-6) ...
- Selecting previously unselected package python3-numpy.
- Preparing to unpack .../04-python3-numpy_1%3a2.2.4+ds-1_amd64.deb ...
- Unpacking python3-numpy (1:2.2.4+ds-1) ...
- Selecting previously unselected package isympy-common.
- Preparing to unpack .../05-isympy-common_1.13.3-5_all.deb ...
- Unpacking isympy-common (1.13.3-5) ...
- Selecting previously unselected package python3-mpmath.
- Preparing to unpack .../06-python3-mpmath_1.3.0-1_all.deb ...
- Unpacking python3-mpmath (1.3.0-1) ...
- Selecting previously unselected package python3-sympy.
- Preparing to unpack .../07-python3-sympy_1.13.3-5_all.deb ...
- Unpacking python3-sympy (1.13.3-5) ...
- Selecting previously unselected package isympy3.
- Preparing to unpack .../08-isympy3_1.13.3-5_all.deb ...
- Unpacking isympy3 (1.13.3-5) ...
- Selecting previously unselected package libdeflate0:amd64.
- Preparing to unpack .../09-libdeflate0_1.23-2_amd64.deb ...
- Unpacking libdeflate0:amd64 (1.23-2) ...
- Selecting previously unselected package libpng16-16t64:amd64.
- Preparing to unpack .../10-libpng16-16t64_1.6.48-1+deb13u6_amd64.deb ...
- Unpacking libpng16-16t64:amd64 (1.6.48-1+deb13u6) ...
- Selecting previously unselected package libfreetype6:amd64.
- Preparing to unpack .../11-libfreetype6_2.13.3+dfsg-1+deb13u1_amd64.deb ...
- Unpacking libfreetype6:amd64 (2.13.3+dfsg-1+deb13u1) ...
- Selecting previously unselected package libfribidi0:amd64.
- Preparing to unpack .../12-libfribidi0_1.0.16-1_amd64.deb ...
- Unpacking libfribidi0:amd64 (1.0.16-1) ...
- Selecting previously unselected package libglib2.0-0t64:amd64.
- Preparing to unpack .../13-libglib2.0-0t64_2.84.4-3~deb13u5_amd64.deb ...
- Unpacking libglib2.0-0t64:amd64 (2.84.4-3~deb13u5) ...
- Selecting previously unselected package libglib2.0-data.
- Preparing to unpack .../14-libglib2.0-data_2.84.4-3~deb13u5_all.deb ...
- Unpacking libglib2.0-data (2.84.4-3~deb13u5) ...
- Selecting previously unselected package libgraphite2-3:amd64.
- Preparing to unpack .../15-libgraphite2-3_1.3.14-2+deb13u1_amd64.deb ...
- Unpacking libgraphite2-3:amd64 (1.3.14-2+deb13u1) ...
- Selecting previously unselected package libharfbuzz0b:amd64.
- Preparing to unpack .../16-libharfbuzz0b_10.2.0-1+deb13u1_amd64.deb ...
- Unpacking libharfbuzz0b:amd64 (10.2.0-1+deb13u1) ...
- Selecting previously unselected package libimagequant0:amd64.
- Preparing to unpack .../17-libimagequant0_2.18.0-1+b2_amd64.deb ...
- Unpacking libimagequant0:amd64 (2.18.0-1+b2) ...
- Selecting previously unselected package libjbig0:amd64.
- Preparing to unpack .../18-libjbig0_2.1-6.1+b2_amd64.deb ...
- Unpacking libjbig0:amd64 (2.1-6.1+b2) ...
- Selecting previously unselected package libjpeg62-turbo:amd64.
- Preparing to unpack .../19-libjpeg62-turbo_1%3a2.1.5-4_amd64.deb ...
- Unpacking libjpeg62-turbo:amd64 (1:2.1.5-4) ...
- Selecting previously unselected package liblcms2-2:amd64.
- Preparing to unpack .../20-liblcms2-2_2.16-2+deb13u2_amd64.deb ...
- Unpacking liblcms2-2:amd64 (2.16-2+deb13u2) ...
- Selecting previously unselected package liblerc4:amd64.
- Preparing to unpack .../21-liblerc4_4.0.0+ds-5_amd64.deb ...
- Unpacking liblerc4:amd64 (4.0.0+ds-5) ...
- Selecting previously unselected package libopenjp2-7:amd64.
- Preparing to unpack .../22-libopenjp2-7_2.5.3-2.1~deb13u2_amd64.deb ...
- Unpacking libopenjp2-7:amd64 (2.5.3-2.1~deb13u2) ...
- Selecting previously unselected package libraqm0:amd64.
- Preparing to unpack .../23-libraqm0_0.10.2-1_amd64.deb ...
- Unpacking libraqm0:amd64 (0.10.2-1) ...
- Selecting previously unselected package libsharpyuv0:amd64.
- Preparing to unpack .../24-libsharpyuv0_1.5.0-0.1_amd64.deb ...
- Unpacking libsharpyuv0:amd64 (1.5.0-0.1) ...
- Selecting previously unselected package libwebp7:amd64.
- Preparing to unpack .../25-libwebp7_1.5.0-0.1_amd64.deb ...
- Unpacking libwebp7:amd64 (1.5.0-0.1) ...
- Selecting previously unselected package libtiff6:amd64.
- Preparing to unpack .../26-libtiff6_4.7.0-3+deb13u3_amd64.deb ...
- Unpacking libtiff6:amd64 (4.7.0-3+deb13u3) ...
- Selecting previously unselected package libwebpdemux2:amd64.
- Preparing to unpack .../27-libwebpdemux2_1.5.0-0.1_amd64.deb ...
- Unpacking libwebpdemux2:amd64 (1.5.0-0.1) ...
- Selecting previously unselected package libwebpmux3:amd64.
- Preparing to unpack .../28-libwebpmux3_1.5.0-0.1_amd64.deb ...
- Unpacking libwebpmux3:amd64 (1.5.0-0.1) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../29-libxml2_2.12.7+dfsg+really2.9.14-2.1+deb13u3_amd64.deb ...
- Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u3) ...
- Selecting previously unselected package python3-olefile.
- Preparing to unpack .../30-python3-olefile_0.47-1_all.deb ...
- Unpacking python3-olefile (0.47-1) ...
- Selecting previously unselected package python3-pil:amd64.
- Preparing to unpack .../31-python3-pil_11.1.0-5+deb13u4_amd64.deb ...
- Unpacking python3-pil:amd64 (11.1.0-5+deb13u4) ...
- Selecting previously unselected package shared-mime-info.
- Preparing to unpack .../32-shared-mime-info_2.4-5+b2_amd64.deb ...
- Unpacking shared-mime-info (2.4-5+b2) ...
- Selecting previously unselected package xdg-user-dirs.
- Preparing to unpack .../33-xdg-user-dirs_0.18-2_amd64.deb ...
- Unpacking xdg-user-dirs (0.18-2) ...
- Setting up libgraphite2-3:amd64 (1.3.14-2+deb13u1) ...
- Setting up liblcms2-2:amd64 (2.16-2+deb13u2) ...
- Setting up libsharpyuv0:amd64 (1.5.0-0.1) ...
- Setting up liblerc4:amd64 (4.0.0+ds-5) ...
- Setting up xdg-user-dirs (0.18-2) ...
- Setting up python3-olefile (0.47-1) ...
- Setting up isympy-common (1.13.3-5) ...
- Setting up libdeflate0:amd64 (1.23-2) ...
- Setting up libjbig0:amd64 (2.1-6.1+b2) ...
- Setting up libglib2.0-0t64:amd64 (2.84.4-3~deb13u5) ...
- No schema files found: doing nothing.
- Setting up libblas3:amd64 (3.12.1-6) ...
- update-alternatives: using /usr/lib/x86_64-linux-gnu/blas/libblas.so.3 to provide /usr/lib/x86_64-linux-gnu/libblas.so.3 (libblas.so.3-x86_64-linux-gnu) in auto mode
- Setting up libglib2.0-data (2.84.4-3~deb13u5) ...
- Setting up libjpeg62-turbo:amd64 (1:2.1.5-4) ...
- Setting up libfribidi0:amd64 (1.0.16-1) ...
- Setting up libimagequant0:amd64 (2.18.0-1+b2) ...
- Setting up libpng16-16t64:amd64 (1.6.48-1+deb13u6) ...
- Setting up python3-numpy-dev:amd64 (1:2.2.4+ds-1) ...
- Setting up libgfortran5:amd64 (14.2.0-19) ...
- Setting up libwebp7:amd64 (1.5.0-0.1) ...
- Setting up libtiff6:amd64 (4.7.0-3+deb13u3) ...
- Setting up libopenjp2-7:amd64 (2.5.3-2.1~deb13u2) ...
- Setting up python3-mpmath (1.3.0-1) ...
- Setting up libwebpmux3:amd64 (1.5.0-0.1) ...
- Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u3) ...
- Setting up python3-sympy (1.13.3-5) ...
- Setting up liblapack3:amd64 (3.12.1-6) ...
- update-alternatives: using /usr/lib/x86_64-linux-gnu/lapack/liblapack.so.3 to provide /usr/lib/x86_64-linux-gnu/liblapack.so.3 (liblapack.so.3-x86_64-linux-gnu) in auto mode
- Setting up libwebpdemux2:amd64 (1.5.0-0.1) ...
- Setting up libfreetype6:amd64 (2.13.3+dfsg-1+deb13u1) ...
- Setting up isympy3 (1.13.3-5) ...
- Setting up shared-mime-info (2.4-5+b2) ...
- Setting up python3-numpy (1:2.2.4+ds-1) ...
- Setting up libharfbuzz0b:amd64 (10.2.0-1+deb13u1) ...
- Setting up libraqm0:amd64 (0.10.2-1) ...
- Setting up python3-pil:amd64 (11.1.0-5+deb13u4) ...
- Processing triggers for libc-bin (2.41-12+deb13u3) ...
[conf-python3-sympy: python3]
+ /usr/bin/python3 "-c" "import sympy; x = sympy.Symbol('x'); assert sympy.integrate(x, x) == x**2/2" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-python3-sympy.1)
-> compiled  conf-python3-sympy.1
-> installed conf-python3-sympy.1

=== STDERR ===

2026-10-07 02:19.16: OK: build conf-python3-sympy.1 (runc: 233.2s, disk: 0KB)
2026-10-07 02:19.16: Job succeeded