sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
The package failed to build. The error log from opam follows.
[NOTE] Package dune is already installed (current version is 3.17.2). [NOTE] Package ocamlfind is already installed (current version is 1.9.8). The following actions will be performed: === install 32 packages - install base-bytes base - install base64 3.5.1 - install conf-gmp 4 - install conf-gmp-powm-sec 3 - install conf-pkg-config 4 - install conf-zlib 1 - install conf-zmq 0.1 - install cppo 1.8.0 - install cryptokit 1.20 - install csexp 1.5.2 - install dune-configurator 3.17.2 - install jupyter 2.6.1 - install logs 0.7.0 - install lwt 5.9.0 - install lwt_ppx 5.8.0 - install ocaml-compiler-libs v0.12.4 - install ocamlbuild 0.15.0 - install ocplib-endian 1.2 - install ppx_derivers 1.2.1 - install ppx_deriving 6.0.3 - install ppx_deriving_yojson 3.9.1 - install ppxlib 0.35.0 - install seq base - install sexplib0 v0.16.0 - install stdint 0.7.2 - install stdlib-shims 0.3.0 - install topkg 1.0.7 - install uuidm 0.9.8 - install yojson 2.2.2 - install zarith 1.14 - install zmq 5.3.0 - install zmq-lwt 5.3.0 The following system packages will first need to be installed: libgmp-dev libzmq3-dev pkg-config zlib1g-dev <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> opam believes some required external dependencies are missing. opam can: > 1. Run apt-get to install them (may need root/sudo access) 2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal) 3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable 4. Abort the installation [1/2/3/4] 1 + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "libzmq3-dev" "pkg-config" "zlib1g-dev" - debconf: delaying package configuration, since apt-utils is not installed - Selecting previously unselected package comerr-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 ... 18745 files and directories currently installed.) - Preparing to unpack .../00-comerr-dev_2.1-1.47.0-2_amd64.deb ... - Unpacking comerr-dev:amd64 (2.1-1.47.0-2) ... - Selecting previously unselected package libnorm1:amd64. - Preparing to unpack .../01-libnorm1_1.5.9+dfsg-2_amd64.deb ... - Unpacking libnorm1:amd64 (1.5.9+dfsg-2) ... - Selecting previously unselected package libpgm-5.3-0:amd64. - Preparing to unpack .../02-libpgm-5.3-0_5.3.128~dfsg-2_amd64.deb ... - Unpacking libpgm-5.3-0:amd64 (5.3.128~dfsg-2) ... - Selecting previously unselected package libsodium23:amd64. - Preparing to unpack .../03-libsodium23_1.0.18-1_amd64.deb ... - Unpacking libsodium23:amd64 (1.0.18-1) ... - Selecting previously unselected package libzmq5:amd64. - Preparing to unpack .../04-libzmq5_4.3.4-6_amd64.deb ... - Unpacking libzmq5:amd64 (4.3.4-6) ... - Selecting previously unselected package libpgm-dev:amd64. - Preparing to unpack .../05-libpgm-dev_5.3.128~dfsg-2_amd64.deb ... - Unpacking libpgm-dev:amd64 (5.3.128~dfsg-2) ... - Selecting previously unselected package libsodium-dev:amd64. - Preparing to unpack .../06-libsodium-dev_1.0.18-1_amd64.deb ... - Unpacking libsodium-dev:amd64 (1.0.18-1) ... - Selecting previously unselected package libicu72:amd64. - Preparing to unpack .../07-libicu72_72.1-3_amd64.deb ... - Unpacking libicu72:amd64 (72.1-3) ... - Selecting previously unselected package icu-devtools. - Preparing to unpack .../08-icu-devtools_72.1-3_amd64.deb ... - Unpacking icu-devtools (72.1-3) ... - Selecting previously unselected package libicu-dev:amd64. - Preparing to unpack .../09-libicu-dev_72.1-3_amd64.deb ... - Unpacking libicu-dev:amd64 (72.1-3) ... - Selecting previously unselected package libxml2:amd64. - Preparing to unpack .../10-libxml2_2.9.14+dfsg-1.3~deb12u1_amd64.deb ... - Unpacking libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ... - Selecting previously unselected package libxml2-dev:amd64. - Preparing to unpack .../11-libxml2-dev_2.9.14+dfsg-1.3~deb12u1_amd64.deb ... - Unpacking libxml2-dev:amd64 (2.9.14+dfsg-1.3~deb12u1) ... - Selecting previously unselected package libnorm-dev:amd64. - Preparing to unpack .../12-libnorm-dev_1.5.9+dfsg-2_amd64.deb ... - Unpacking libnorm-dev:amd64 (1.5.9+dfsg-2) ... - Selecting previously unselected package libgssrpc4:amd64. - Preparing to unpack .../13-libgssrpc4_1.20.1-2+deb12u2_amd64.deb ... - Unpacking libgssrpc4:amd64 (1.20.1-2+deb12u2) ... - Selecting previously unselected package libkdb5-10:amd64. - Preparing to unpack .../14-libkdb5-10_1.20.1-2+deb12u2_amd64.deb ... - Unpacking libkdb5-10:amd64 (1.20.1-2+deb12u2) ... - Selecting previously unselected package libkadm5srv-mit12:amd64. - Preparing to unpack .../15-libkadm5srv-mit12_1.20.1-2+deb12u2_amd64.deb ... - Unpacking libkadm5srv-mit12:amd64 (1.20.1-2+deb12u2) ... - Selecting previously unselected package libkadm5clnt-mit12:amd64. - Preparing to unpack .../16-libkadm5clnt-mit12_1.20.1-2+deb12u2_amd64.deb ... - Unpacking libkadm5clnt-mit12:amd64 (1.20.1-2+deb12u2) ... - Selecting previously unselected package krb5-multidev:amd64. - Preparing to unpack .../17-krb5-multidev_1.20.1-2+deb12u2_amd64.deb ... - Unpacking krb5-multidev:amd64 (1.20.1-2+deb12u2) ... - Selecting previously unselected package libkrb5-dev:amd64. - Preparing to unpack .../18-libkrb5-dev_1.20.1-2+deb12u2_amd64.deb ... - Unpacking libkrb5-dev:amd64 (1.20.1-2+deb12u2) ... - Selecting previously unselected package libmd-dev:amd64. - Preparing to unpack .../19-libmd-dev_1.0.4-2_amd64.deb ... - Unpacking libmd-dev:amd64 (1.0.4-2) ... - Selecting previously unselected package libbsd-dev:amd64. - Preparing to unpack .../20-libbsd-dev_0.11.7-2_amd64.deb ... - Unpacking libbsd-dev:amd64 (0.11.7-2) ... - Selecting previously unselected package libzmq3-dev:amd64. - Preparing to unpack .../21-libzmq3-dev_4.3.4-6_amd64.deb ... - Unpacking libzmq3-dev:amd64 (4.3.4-6) ... - Selecting previously unselected package cppzmq-dev:amd64. - Preparing to unpack .../22-cppzmq-dev_4.9.0-1_amd64.deb ... - Unpacking cppzmq-dev:amd64 (4.9.0-1) ... - Selecting previously unselected package libgmpxx4ldbl:amd64. - Preparing to unpack .../23-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ... - Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... - Selecting previously unselected package libgmp-dev:amd64. - Preparing to unpack .../24-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ... - Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... - Selecting previously unselected package libpkgconf3:amd64. - Preparing to unpack .../25-libpkgconf3_1.8.1-1_amd64.deb ... - Unpacking libpkgconf3:amd64 (1.8.1-1) ... - Selecting previously unselected package pkgconf-bin. - Preparing to unpack .../26-pkgconf-bin_1.8.1-1_amd64.deb ... - Unpacking pkgconf-bin (1.8.1-1) ... - Selecting previously unselected package pkgconf:amd64. - Preparing to unpack .../27-pkgconf_1.8.1-1_amd64.deb ... - Unpacking pkgconf:amd64 (1.8.1-1) ... - Selecting previously unselected package pkg-config:amd64. - Preparing to unpack .../28-pkg-config_1.8.1-1_amd64.deb ... - Unpacking pkg-config:amd64 (1.8.1-1) ... - Selecting previously unselected package zlib1g-dev:amd64. - Preparing to unpack .../29-zlib1g-dev_1%3a1.2.13.dfsg-1_amd64.deb ... - Unpacking zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ... - Setting up libsodium23:amd64 (1.0.18-1) ... - Setting up libicu72:amd64 (72.1-3) ... - Setting up libpgm-5.3-0:amd64 (5.3.128~dfsg-2) ... - Setting up libnorm1:amd64 (1.5.9+dfsg-2) ... - Setting up libgssrpc4:amd64 (1.20.1-2+deb12u2) ... - Setting up libpkgconf3:amd64 (1.8.1-1) ... - Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... - Setting up libpgm-dev:amd64 (5.3.128~dfsg-2) ... - Setting up comerr-dev:amd64 (2.1-1.47.0-2) ... - Setting up icu-devtools (72.1-3) ... - Setting up pkgconf-bin (1.8.1-1) ... - Setting up libsodium-dev:amd64 (1.0.18-1) ... - Setting up zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ... - Setting up libmd-dev:amd64 (1.0.4-2) ... - Setting up libicu-dev:amd64 (72.1-3) ... - Setting up libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ... - Setting up libbsd-dev:amd64 (0.11.7-2) ... - Setting up libkadm5clnt-mit12:amd64 (1.20.1-2+deb12u2) ... - Setting up libkdb5-10:amd64 (1.20.1-2+deb12u2) ... - Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... - Setting up libzmq5:amd64 (4.3.4-6) ... - Setting up pkgconf:amd64 (1.8.1-1) ... - Setting up libxml2-dev:amd64 (2.9.14+dfsg-1.3~deb12u1) ... - Setting up pkg-config:amd64 (1.8.1-1) ... - Setting up libkadm5srv-mit12:amd64 (1.20.1-2+deb12u2) ... - Setting up krb5-multidev:amd64 (1.20.1-2+deb12u2) ... - Setting up libnorm-dev:amd64 (1.5.9+dfsg-2) ... - Setting up libkrb5-dev:amd64 (1.20.1-2+deb12u2) ... - Setting up libzmq3-dev:amd64 (4.3.4-6) ... - Setting up cppzmq-dev:amd64 (4.9.0-1) ... - Processing triggers for libc-bin (2.36-9+deb12u9) ... <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved conf-gmp.4 (cached) -> retrieved conf-gmp-powm-sec.3 (cached) -> retrieved conf-zmq.0.1 (cached) -> installed base-bytes.base -> retrieved base64.3.5.1 (cached) -> retrieved cppo.1.8.0 (cached) -> retrieved cryptokit.1.20 (cached) -> installed conf-gmp.4 -> installed conf-pkg-config.4 -> retrieved csexp.1.5.2 (cached) -> installed conf-zlib.1 -> retrieved logs.0.7.0 (cached) -> installed conf-gmp-powm-sec.3 -> retrieved lwt.5.9.0 (cached) -> installed conf-zmq.0.1 -> retrieved lwt_ppx.5.8.0 (cached) -> retrieved ocaml-compiler-libs.v0.12.4 (cached) -> retrieved ocamlbuild.0.15.0 (cached) -> retrieved ocplib-endian.1.2 (cached) -> installed csexp.1.5.2 -> installed base64.3.5.1 -> retrieved ppx_derivers.1.2.1 (cached) -> retrieved ppx_deriving.6.0.3 (cached) -> retrieved ppx_deriving_yojson.3.9.1 (cached) -> retrieved ppxlib.0.35.0 (cached) -> retrieved seq.base (cached) -> installed seq.base -> retrieved dune-configurator.3.17.2 (cached) -> installed cppo.1.8.0 -> installed ocaml-compiler-libs.v0.12.4 -> installed ppx_derivers.1.2.1 -> retrieved sexplib0.v0.16.0 (cached) -> retrieved stdint.0.7.2 (cached) -> retrieved jupyter.2.6.1 (https://github.com/akabe/ocaml-jupyter/releases/download/v2.6.1/jupyter-v2.6.1.tbz) -> retrieved stdlib-shims.0.3.0 (cached) -> retrieved topkg.1.0.7 (cached) -> retrieved uuidm.0.9.8 (cached) -> retrieved yojson.2.2.2 (cached) -> retrieved zarith.1.14 (cached) -> retrieved zmq.5.3.0, zmq-lwt.5.3.0 (cached) -> installed ocplib-endian.1.2 -> installed stdlib-shims.0.3.0 -> installed sexplib0.v0.16.0 -> installed stdint.0.7.2 -> installed yojson.2.2.2 -> installed dune-configurator.3.17.2 -> installed ocamlbuild.0.15.0 -> installed zmq.5.3.0 -> installed zarith.1.14 -> installed lwt.5.9.0 -> installed zmq-lwt.5.3.0 -> installed cryptokit.1.20 -> installed topkg.1.0.7 -> installed uuidm.0.9.8 -> installed logs.0.7.0 -> installed ppxlib.0.35.0 -> installed lwt_ppx.5.8.0 -> installed ppx_deriving.6.0.3 -> installed ppx_deriving_yojson.3.9.1 [ERROR] The compilation of jupyter.2.6.1 failed at "dune build -p jupyter -j 39". #=== ERROR while compiling jupyter.2.6.1 ======================================# # context 2.3.0 | linux/x86_64 | ocaml-base-compiler.4.09.1 | file:///src # path ~/.opam/4.09/.opam-switch/build/jupyter.2.6.1 # command ~/.opam/4.09/bin/dune build -p jupyter -j 39 # exit-code 1 # env-file ~/.opam/log/jupyter-113-07986c.env # output-file ~/.opam/log/jupyter-113-07986c.out ### output ### # (cd _build/default && /home/opam/.opam/4.09/bin/ocamlc.opt -ppx '/home/opam/.opam/4.09/lib/lwt_ppx/./ppx.exe --as-ppx' -ppx '/home/opam/.opam/4.09/lib/ppx_deriving/./ppx_deriving package:ppx_deriving_yojson' -short-paths -safe-string -strict-sequence -strict-formats -w A-4-31-33-34-39-41-42-43-44-45-48-49-50-58 -g -bin-annot -I jupyter/src/core/.jupyter.objs/byte -I /home/opam/.opam/4.09/lib/bytes -I /home/opam/.opam/4.09/lib/ppx_deriving/runtime -I /home/opam/.opam/4.09/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/4.09/lib/seq -I /home/opam/.opam/4.09/lib/uuidm -I /home/opam/.opam/4.09/lib/yojson -no-alias-deps -open Jupyter__ -o jupyter/src/core/.jupyter.objs/byte/jupyter__Json.cmi -c -intf jupyter/src/core/json.pp.mli) # File "jupyter/src/core/json.mli", line 25, characters 27-40: # 25 | val or_none : ('a, string) Result.result -> 'a option # ^^^^^^^^^^^^^ # Error: Unbound type constructor Result.result <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +- The following actions failed | - build jupyter 2.6.1 +- +- The following changes have been performed | - install base-bytes base | - install base64 3.5.1 | - install conf-gmp 4 | - install conf-gmp-powm-sec 3 | - install conf-pkg-config 4 | - install conf-zlib 1 | - install conf-zmq 0.1 | - install cppo 1.8.0 | - install cryptokit 1.20 | - install csexp 1.5.2 | - install dune-configurator 3.17.2 | - install logs 0.7.0 | - install lwt 5.9.0 | - install lwt_ppx 5.8.0 | - install ocaml-compiler-libs v0.12.4 | - install ocamlbuild 0.15.0 | - install ocplib-endian 1.2 | - install ppx_derivers 1.2.1 | - install ppx_deriving 6.0.3 | - install ppx_deriving_yojson 3.9.1 | - install ppxlib 0.35.0 | - install seq base | - install sexplib0 v0.16.0 | - install stdint 0.7.2 | - install stdlib-shims 0.3.0 | - install topkg 1.0.7 | - install uuidm 0.9.8 | - install yojson 2.2.2 | - install zarith 1.14 | - install zmq 5.3.0 | - install zmq-lwt 5.3.0 +- <><> jupyter.2.6.1 troubleshooting ><><><><><><><><><><><><><><><><><><><><><><> => Please run for registration of ocaml-jupyter kernel: => => $ jupyter kernelspec install --name ocaml-jupyter \ # To update the current shell environment, run: eval $(opam env) The former state can be restored with: /usr/bin/opam switch import "/home/opam/.opam/4.09/.opam-switch/backup/state-20250206031143.export"