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 133 packages - install angstrom 0.16.1 - install arp 3.1.1 - install asn1-combinators 0.3.2 - install astring 0.8.5 - install awa 0.4.0 - install awa-mirage 0.4.0 - install base v0.16.3 - install base-bytes base - install base64 3.5.1 - install bigstringaf 0.10.0 - install bos 0.2.1 - install ca-certs-nss 3.108 - install camlp-streams 5.0.1 - install camlp4 4.14+1 - install camlzip 1.13 - install carton 0.7.2 - install carton-git 0.7.2 - install carton-lwt 0.7.2 - install cca 0.6.2 - install checkseum 0.5.2 - install cmdliner 1.3.0 - install cohttp 6.0.0 - install conf-bash 1 - install conf-gmp 4 - install conf-gmp-powm-sec 3 - install conf-pkg-config 4 - install conf-which 1 - install conf-zlib 1 - install cppo 1.8.0 - install cryptokit 1.20 - install csexp 1.5.2 - install cstruct 6.2.0 - install cstruct-lwt 6.2.0 - install cstruct-unix 6.2.0 - install csv 2.4 - install decompress 1.5.3 - install digestif 1.2.0 - install dns 9.1.0 - install dns-client 9.1.0 - install dns-client-mirage 9.1.0 - install domain-name 0.4.0 - install duff 0.5 - install dune-configurator 3.17.2 - install duration 0.2.1 - install emile 1.1 - install encore 0.8 - install eqaf 0.10 - install ethernet 3.2.0 - install faraday 0.8.2 - install fmt 0.9.0 - install fpath 0.7.3 - install git 3.17.0 - install git-mirage 3.17.0 - install git-paf 3.17.0 - install git-unix 3.17.0 - install gmap 0.3.0 - install h2 0.13.0 - install happy-eyeballs 1.2.2 - install happy-eyeballs-lwt 1.2.2 - install happy-eyeballs-mirage 1.2.2 - install hpack 0.13.0 - install http 6.0.0 - install httpaf 0.7.1 - install httpun-types 0.2.0 - install hxd 0.3.3 - install ipaddr 5.6.0 - install ipaddr-cstruct 5.6.0 - install kdf 1.0.0 - install ke 0.6 - install logs 0.7.0 - install lru 0.3.1 - install lwt 5.9.0 - install lwt-dllist 1.0.1 - install macaddr 5.6.0 - install macaddr-cstruct 5.6.0 - install menhir 20240715 - install menhirCST 20240715 - install menhirLib 20240715 - install menhirSdk 20240715 - install metrics 0.4.1 - install mimic 0.0.9 - install mimic-happy-eyeballs 0.0.9 - install mirage-clock 4.2.0 - install mirage-clock-unix 4.2.0 - install mirage-crypto 1.2.0 - install mirage-crypto-ec 1.2.0 - install mirage-crypto-pk 1.2.0 - install mirage-crypto-rng 1.2.0 - install mirage-crypto-rng-mirage 1.2.0 - install mirage-flow 4.0.2 - install mirage-kv 6.1.1 - install mirage-net 4.0.0 - install mirage-runtime 4.8.2 - install mirage-time 3.0.0 - install mirage-unix 5.0.1 - install mtime 1.4.0 - install num 1.5-1 - install ocaml-compiler-libs v0.12.4 - install ocaml-syntax-shims 1.0.0 - install ocamlbuild 0.15.0 - install ocamlgraph 2.1.0 - install ocamlnet 4.1.9-2 - install ocplib-endian 1.2 - install ohex 0.2.0 - install optint 0.3.0 - install paf 0.7.0 - install pecu 0.7 - install ppx_derivers 1.2.1 - install ppx_sexp_conv v0.16.0 - install ppxlib 0.35.0 - install psq 0.2.1 - install ptime 1.2.0 - install pxp 1.2.9 - install randomconv 0.2.0 - install re 1.12.0 - install result 1.5 - install rresult 0.7.0 - install seq base - install sexplib0 v0.16.0 - install stdlib-shims 0.3.0 - install stringext 1.6.0 - install tcpip 8.2.0 - install tls 1.0.4 - install tls-mirage 1.0.4 - install topkg 1.0.7 - install ulex 1.2 - install uri 4.4.0 - install uri-sexp 4.4.0 - install uuidm 0.9.9 - install uutf 1.0.3 - install volt 1.4 - install x509 1.0.5 - install zarith 1.14 The following system packages will first need to be installed: libgmp-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" "pkg-config" "zlib1g-dev" - debconf: delaying package configuration, since apt-utils is not installed - Selecting previously unselected package libgmpxx4ldbl: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 .../0-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 .../1-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 .../2-libpkgconf3_1.8.1-1_amd64.deb ... - Unpacking libpkgconf3:amd64 (1.8.1-1) ... - Selecting previously unselected package pkgconf-bin. - Preparing to unpack .../3-pkgconf-bin_1.8.1-1_amd64.deb ... - Unpacking pkgconf-bin (1.8.1-1) ... - Selecting previously unselected package pkgconf:amd64. - Preparing to unpack .../4-pkgconf_1.8.1-1_amd64.deb ... - Unpacking pkgconf:amd64 (1.8.1-1) ... - Selecting previously unselected package pkg-config:amd64. - Preparing to unpack .../5-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 .../6-zlib1g-dev_1%3a1.2.13.dfsg-1_amd64.deb ... - Unpacking zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ... - Setting up libpkgconf3:amd64 (1.8.1-1) ... - Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... - Setting up pkgconf-bin (1.8.1-1) ... - Setting up zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ... - Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... - Setting up pkgconf:amd64 (1.8.1-1) ... - Setting up pkg-config:amd64 (1.8.1-1) ... - Processing triggers for libc-bin (2.36-9+deb12u9) ... <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved arp.3.1.1 (cached) -> retrieved angstrom.0.16.1 (cached) -> retrieved asn1-combinators.0.3.2 (cached) -> retrieved astring.0.8.5 (cached) -> installed base-bytes.base -> retrieved awa.0.4.0, awa-mirage.0.4.0 (cached) -> retrieved base.v0.16.3 (cached) -> retrieved base64.3.5.1 (cached) -> retrieved bigstringaf.0.10.0 (cached) -> retrieved bos.0.2.1 (cached) -> retrieved camlp-streams.5.0.1 (cached) -> retrieved camlzip.1.13 (cached) -> retrieved ca-certs-nss.3.108 (cached) -> retrieved camlp4.4.14+1 (cached) -> retrieved carton.0.7.2, carton-git.0.7.2, carton-lwt.0.7.2 (cached) -> retrieved cca.0.6.2 (cached) -> installed camlp-streams.5.0.1 -> installed base64.3.5.1 -> retrieved checkseum.0.5.2 (cached) -> retrieved conf-gmp.4 (cached) -> retrieved conf-gmp-powm-sec.3 (cached) -> retrieved cmdliner.1.3.0 (cached) -> retrieved cohttp.6.0.0, http.6.0.0 (cached) -> retrieved cppo.1.8.0 (cached) -> installed conf-bash.1 -> installed conf-gmp.4 -> installed conf-pkg-config.4 -> installed conf-which.1 -> retrieved cryptokit.1.20 (cached) -> retrieved csexp.1.5.2 (cached) -> retrieved cstruct.6.2.0, cstruct-lwt.6.2.0, cstruct-unix.6.2.0 (cached) -> installed conf-gmp-powm-sec.3 -> installed conf-zlib.1 -> retrieved csv.2.4 (cached) -> retrieved decompress.1.5.3 (cached) -> retrieved dns.9.1.0, dns-client.9.1.0, dns-client-mirage.9.1.0 (cached) -> installed csexp.1.5.2 -> retrieved domain-name.0.4.0 (cached) -> installed http.6.0.0 -> retrieved duff.0.5 (cached) -> retrieved duration.0.2.1 (cached) -> retrieved emile.1.1 (cached) -> retrieved encore.0.8 (cached) -> retrieved eqaf.0.10 (cached) -> retrieved ethernet.3.2.0 (cached) -> retrieved faraday.0.8.2 (cached) -> retrieved fmt.0.9.0 (cached) -> retrieved fpath.0.7.3 (cached) -> retrieved digestif.1.2.0 (cached) -> retrieved gmap.0.3.0 (cached) -> retrieved git.3.17.0, git-mirage.3.17.0, git-paf.3.17.0, git-unix.3.17.0 (cached) -> installed domain-name.0.4.0 -> retrieved dune-configurator.3.17.2 (cached) -> retrieved h2.0.13.0, hpack.0.13.0 (cached) -> retrieved happy-eyeballs.1.2.2, happy-eyeballs-lwt.1.2.2, happy-eyeballs-mirage.1.2.2 (cached) -> installed camlzip.1.13 -> retrieved httpaf.0.7.1 (cached) -> retrieved httpun-types.0.2.0 (cached) -> retrieved hxd.0.3.3 (cached) -> retrieved ipaddr.5.6.0, ipaddr-cstruct.5.6.0, macaddr.5.6.0, macaddr-cstruct.5.6.0 (cached) -> retrieved kdf.1.0.0 (cached) -> retrieved ke.0.6 (cached) -> retrieved logs.0.7.0 (cached) -> retrieved lru.0.3.1 (cached) -> installed cmdliner.1.3.0 -> installed cppo.1.8.0 -> installed csv.2.4 -> installed duration.0.2.1 -> installed eqaf.0.10 -> installed gmap.0.3.0 -> retrieved lwt.5.9.0 (cached) -> installed macaddr.5.6.0 -> retrieved lwt-dllist.1.0.1 (cached) -> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (cached) -> installed digestif.1.2.0 -> retrieved metrics.0.4.1 (cached) -> installed ipaddr.5.6.0 -> retrieved mimic.0.0.9, mimic-happy-eyeballs.0.0.9 (cached) -> installed lwt-dllist.1.0.1 -> retrieved mirage-clock.4.2.0, mirage-clock-unix.4.2.0 (cached) -> installed menhirCST.20240715 -> retrieved mirage-flow.4.0.2 (cached) -> retrieved mirage-kv.6.1.1 (cached) -> retrieved mirage-net.4.0.0 (cached) -> retrieved mirage-time.3.0.0 (cached) -> retrieved mirage-unix.5.0.1 (cached) -> retrieved mtime.1.4.0 (cached) -> retrieved mirage-runtime.4.8.2 (cached) -> retrieved num.1.5-1 (cached) -> retrieved ocaml-compiler-libs.v0.12.4 (cached) -> retrieved ocaml-syntax-shims.1.0.0 (cached) -> retrieved ocamlbuild.0.15.0 (cached) -> installed dune-configurator.3.17.2 -> installed menhirSdk.20240715 -> installed mirage-clock.4.2.0 -> retrieved ocamlgraph.2.1.0 (cached) -> retrieved mirage-crypto.1.2.0, mirage-crypto-ec.1.2.0, mirage-crypto-pk.1.2.0, mirage-crypto-rng.1.2.0, mirage-crypto-rng-mirage.1.2.0 (cached) -> installed menhirLib.20240715 -> retrieved ocamlnet.4.1.9-2 (cached) -> installed ocaml-compiler-libs.v0.12.4 -> installed ocaml-syntax-shims.1.0.0 -> installed bigstringaf.0.10.0 -> installed mirage-clock-unix.4.2.0 -> retrieved ocplib-endian.1.2 (cached) -> retrieved ohex.0.2.0 (cached) -> retrieved optint.0.3.0 (cached) -> retrieved paf.0.7.0 (cached) -> retrieved pecu.0.7 (cached) -> retrieved ppx_derivers.1.2.1 (cached) -> retrieved ppx_sexp_conv.v0.16.0 (cached) -> retrieved psq.0.2.1 (cached) -> retrieved ptime.1.2.0 (cached) -> installed num.1.5-1 -> retrieved ppxlib.0.35.0 (cached) -> installed faraday.0.8.2 -> installed ohex.0.2.0 -> installed ppx_derivers.1.2.1 -> retrieved pxp.1.2.9 (cached) -> installed angstrom.0.16.1 -> installed ocplib-endian.1.2 -> installed optint.0.3.0 -> installed pecu.0.7 -> retrieved randomconv.0.2.0 (cached) -> retrieved re.1.12.0 (cached) -> retrieved seq.base (cached) -> installed seq.base -> installed httpun-types.0.2.0 -> retrieved result.1.5 (cached) -> retrieved rresult.0.7.0 (cached) -> retrieved sexplib0.v0.16.0 (cached) -> retrieved stdlib-shims.0.3.0 (cached) -> retrieved stringext.1.6.0 (cached) -> retrieved tcpip.8.2.0 (cached) -> retrieved topkg.1.0.7 (cached) -> retrieved ulex.1.2 (cached) -> retrieved uuidm.0.9.9 (cached) -> retrieved tls.1.0.4, tls-mirage.1.0.4 (cached) -> installed randomconv.0.2.0 -> installed mirage-crypto.1.2.0 -> installed psq.0.2.1 -> installed result.1.5 -> installed stdlib-shims.0.3.0 -> installed stringext.1.6.0 -> retrieved uri.4.4.0, uri-sexp.4.4.0 (cached) -> retrieved uutf.1.0.3 (cached) -> retrieved volt.1.4 (cached) -> retrieved x509.1.0.5 (cached) -> retrieved zarith.1.14 (cached) -> installed hpack.0.13.0 -> installed sexplib0.v0.16.0 -> installed kdf.1.0.0 -> installed lru.0.3.1 -> installed checkseum.0.5.2 -> installed httpaf.0.7.1 -> installed re.1.12.0 -> installed h2.0.13.0 -> installed uri.4.4.0 -> installed decompress.1.5.3 -> installed ocamlgraph.2.1.0 -> installed lwt.5.9.0 -> installed zarith.1.14 -> installed mirage-time.3.0.0 -> installed hxd.0.3.3 -> installed ocamlbuild.0.15.0 -> installed cryptokit.1.20 -> installed base.v0.16.3 -> installed topkg.1.0.7 -> installed rresult.0.7.0 -> installed uuidm.0.9.9 -> installed uutf.1.0.3 -> installed mtime.1.4.0 -> installed fmt.0.9.0 -> installed ptime.1.2.0 -> installed emile.1.1 -> installed astring.0.8.5 -> installed duff.0.5 -> installed mirage-kv.6.1.1 -> installed metrics.0.4.1 -> installed ke.0.6 -> installed encore.0.8 -> installed cstruct.6.2.0 -> installed asn1-combinators.0.3.2 -> installed cstruct-unix.6.2.0 -> installed cstruct-lwt.6.2.0 -> installed ipaddr-cstruct.5.6.0 -> installed macaddr-cstruct.5.6.0 -> installed mirage-flow.4.0.2 -> installed mirage-net.4.0.0 -> installed fpath.0.7.3 -> installed menhir.20240715 -> installed logs.0.7.0 -> installed ethernet.3.2.0 -> installed happy-eyeballs.1.2.2 -> installed mimic.0.0.9 -> installed mirage-runtime.4.8.2 -> installed mirage-crypto-rng.1.2.0 -> installed mirage-unix.5.0.1 -> installed arp.3.1.1 -> installed ppxlib.0.35.0 -> installed dns.9.1.0 -> installed mirage-crypto-pk.1.2.0 -> installed mirage-crypto-rng-mirage.1.2.0 -> installed happy-eyeballs-lwt.1.2.2 -> installed dns-client.9.1.0 -> installed bos.0.2.1 -> installed tcpip.8.2.0 -> installed happy-eyeballs-mirage.1.2.2 -> installed carton.0.7.2 -> installed carton-lwt.0.7.2 -> installed ppx_sexp_conv.v0.16.0 -> installed carton-git.0.7.2 -> installed mirage-crypto-ec.1.2.0 -> installed uri-sexp.4.4.0 -> installed git.3.17.0 -> installed x509.1.0.5 -> installed cohttp.6.0.0 -> installed ca-certs-nss.3.108 -> installed tls.1.0.4 -> installed awa.0.4.0 -> installed tls-mirage.1.0.4 -> installed awa-mirage.0.4.0 -> installed dns-client-mirage.9.1.0 -> installed paf.0.7.0 -> installed mimic-happy-eyeballs.0.0.9 -> installed git-paf.3.17.0 -> installed git-mirage.3.17.0 -> installed git-unix.3.17.0 -> installed ocamlnet.4.1.9-2 -> installed camlp4.4.14+1 -> installed ulex.1.2 -> installed volt.1.4 -> installed pxp.1.2.9 [ERROR] Installation of cca.0.6.2 failed #=== ERROR while installing cca.0.6.2 =========================================# Some files in /home/opam/.opam/4.14/.opam-switch/install/cca.install couldn't be installed: - /home/opam/.opam/4.14/.opam-switch/build/cca.0.6.2/src/ast/analyzing/langs/cpp/Mcpp.cmxs to /home/opam/.opam/4.14/lib/cca - /home/opam/.opam/4.14/.opam-switch/build/cca.0.6.2/src/ast/analyzing/langs/cpp/Mcpp_p.cmxs to /home/opam/.opam/4.14/lib/cca - /home/opam/.opam/4.14/.opam-switch/build/cca.0.6.2/src/ast/analyzing/langs/fortran/Mfortran.cmxs to /home/opam/.opam/4.14/lib/cca - /home/opam/.opam/4.14/.opam-switch/build/cca.0.6.2/src/ast/analyzing/langs/fortran/Mfortran_p.cmxs to /home/opam/.opam/4.14/lib/cca - /home/opam/.opam/4.14/.opam-switch/build/cca.0.6.2/src/ast/analyzing/langs/java/Mjava.cmxs to /home/opam/.opam/4.14/lib/cca - /home/opam/.opam/4.14/.opam-switch/build/cca.0.6.2/src/ast/analyzing/langs/java/Mjava_p.cmxs to /home/opam/.opam/4.14/lib/cca - /home/opam/.opam/4.14/.opam-switch/build/cca.0.6.2/src/ast/analyzing/langs/python/Mpython.cmxs to /home/opam/.opam/4.14/lib/cca - /home/opam/.opam/4.14/.opam-switch/build/cca.0.6.2/src/ast/analyzing/langs/python/Mpython_p.cmxs to /home/opam/.opam/4.14/lib/cca - /home/opam/.opam/4.14/.opam-switch/build/cca.0.6.2/src/ast/analyzing/langs/verilog/Mverilog.cmxs to /home/opam/.opam/4.14/lib/cca - /home/opam/.opam/4.14/.opam-switch/build/cca.0.6.2/src/ast/analyzing/langs/verilog/Mverilog_p.cmxs to /home/opam/.opam/4.14/lib/cca <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +- The following actions failed | - install cca 0.6.2 +- +- The following changes have been performed | - install angstrom 0.16.1 | - install arp 3.1.1 | - install asn1-combinators 0.3.2 | - install astring 0.8.5 | - install awa 0.4.0 | - install awa-mirage 0.4.0 | - install base v0.16.3 | - install base-bytes base | - install base64 3.5.1 | - install bigstringaf 0.10.0 | - install bos 0.2.1 | - install ca-certs-nss 3.108 | - install camlp-streams 5.0.1 | - install camlp4 4.14+1 | - install camlzip 1.13 | - install carton 0.7.2 | - install carton-git 0.7.2 | - install carton-lwt 0.7.2 | - install checkseum 0.5.2 | - install cmdliner 1.3.0 | - install cohttp 6.0.0 | - install conf-bash 1 | - install conf-gmp 4 | - install conf-gmp-powm-sec 3 | - install conf-pkg-config 4 | - install conf-which 1 | - install conf-zlib 1 | - install cppo 1.8.0 | - install cryptokit 1.20 | - install csexp 1.5.2 | - install cstruct 6.2.0 | - install cstruct-lwt 6.2.0 | - install cstruct-unix 6.2.0 | - install csv 2.4 | - install decompress 1.5.3 | - install digestif 1.2.0 | - install dns 9.1.0 | - install dns-client 9.1.0 | - install dns-client-mirage 9.1.0 | - install domain-name 0.4.0 | - install duff 0.5 | - install dune-configurator 3.17.2 | - install duration 0.2.1 | - install emile 1.1 | - install encore 0.8 | - install eqaf 0.10 | - install ethernet 3.2.0 | - install faraday 0.8.2 | - install fmt 0.9.0 | - install fpath 0.7.3 | - install git 3.17.0 | - install git-mirage 3.17.0 | - install git-paf 3.17.0 | - install git-unix 3.17.0 | - install gmap 0.3.0 | - install h2 0.13.0 | - install happy-eyeballs 1.2.2 | - install happy-eyeballs-lwt 1.2.2 | - install happy-eyeballs-mirage 1.2.2 | - install hpack 0.13.0 | - install http 6.0.0 | - install httpaf 0.7.1 | - install httpun-types 0.2.0 | - install hxd 0.3.3 | - install ipaddr 5.6.0 | - install ipaddr-cstruct 5.6.0 | - install kdf 1.0.0 | - install ke 0.6 | - install logs 0.7.0 | - install lru 0.3.1 | - install lwt 5.9.0 | - install lwt-dllist 1.0.1 | - install macaddr 5.6.0 | - install macaddr-cstruct 5.6.0 | - install menhir 20240715 | - install menhirCST 20240715 | - install menhirLib 20240715 | - install menhirSdk 20240715 | - install metrics 0.4.1 | - install mimic 0.0.9 | - install mimic-happy-eyeballs 0.0.9 | - install mirage-clock 4.2.0 | - install mirage-clock-unix 4.2.0 | - install mirage-crypto 1.2.0 | - install mirage-crypto-ec 1.2.0 | - install mirage-crypto-pk 1.2.0 | - install mirage-crypto-rng 1.2.0 | - install mirage-crypto-rng-mirage 1.2.0 | - install mirage-flow 4.0.2 | - install mirage-kv 6.1.1 | - install mirage-net 4.0.0 | - install mirage-runtime 4.8.2 | - install mirage-time 3.0.0 | - install mirage-unix 5.0.1 | - install mtime 1.4.0 | - install num 1.5-1 | - install ocaml-compiler-libs v0.12.4 | - install ocaml-syntax-shims 1.0.0 | - install ocamlbuild 0.15.0 | - install ocamlgraph 2.1.0 | - install ocamlnet 4.1.9-2 | - install ocplib-endian 1.2 | - install ohex 0.2.0 | - install optint 0.3.0 | - install paf 0.7.0 | - install pecu 0.7 | - install ppx_derivers 1.2.1 | - install ppx_sexp_conv v0.16.0 | - install ppxlib 0.35.0 | - install psq 0.2.1 | - install ptime 1.2.0 | - install pxp 1.2.9 | - install randomconv 0.2.0 | - install re 1.12.0 | - install result 1.5 | - install rresult 0.7.0 | - install seq base | - install sexplib0 v0.16.0 | - install stdlib-shims 0.3.0 | - install stringext 1.6.0 | - install tcpip 8.2.0 | - install tls 1.0.4 | - install tls-mirage 1.0.4 | - install topkg 1.0.7 | - install ulex 1.2 | - install uri 4.4.0 | - install uri-sexp 4.4.0 | - install uuidm 0.9.9 | - install uutf 1.0.3 | - install volt 1.4 | - install x509 1.0.5 | - install zarith 1.14 +- # 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.14/.opam-switch/backup/state-20250206013541.export"