package zarith-freestanding

  1. Overview
  2. Docs
On This Page
  1. Error log

zarith-freestanding 1.7

Error log

The package failed to build. The error log from opam follows.

Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y
The following actions will be performed:
  - recompile opam-depext 1.2.3

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved opam-depext.1.2.3  (cached)
-> removed   opam-depext.1.2.3
-> installed opam-depext.1.2.3
Done.

<><> opam-depext.1.2.3 installed successfully <><><><><><><><><><><><><><><><><>
=> opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead
# Run eval $(opam env) to update the current shell environment

<><> Carrying on to "opam depext -viy zarith-freestanding.1.7 zarith.1.7 solo5-bindings-hvt.0.6.4 ocamlfind.1.9.6 gmp-freestanding.6.1.2-1 conf-pkg-config.2 conf-perl.2 conf-m4.1 conf-libseccomp.1 conf-gmp.4" 

Since version 2.1, opam now handles external dependencies alongside OCaml ones, and the `depext` plugin interface is provided for backwards compatibility only. Consider using your usual `opam install` command to install both OCaml and system dependencies, or `opam install <pkg> --depext-only` if you want to only install external dependencies.
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# The following system packages are needed:
libgmp-dev
libseccomp-dev
linux-libc-dev
m4
perl
pkg-config
[NOTE] Package ocamlfind is already installed (current version is 1.9.6).
The following actions will be performed:
  - install ocaml-src           4.09.1-1 [required by ocaml-freestanding]
  - install conf-perl           2
  - install conf-pkg-config     2
  - install conf-gmp            4
  - install conf-m4             1
  - install conf-libseccomp     1
  - install zarith              1.7
  - install solo5-bindings-hvt  0.6.4
  - install ocaml-freestanding  0.4.7    [required by gmp-freestanding, zarith-freestanding]
  - install gmp-freestanding    6.1.2-1
  - install zarith-freestanding 1.7
===== 11 to install =====

The following system packages will first need to be installed:
    libgmp-dev libseccomp-dev m4 pkg-config

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] y
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "libseccomp-dev" "m4" "pkg-config"
- 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 ... 18733 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 libseccomp-dev:amd64.
- Preparing to unpack .../3-libseccomp-dev_2.5.4-1+deb12u1_amd64.deb ...
- Unpacking libseccomp-dev:amd64 (2.5.4-1+deb12u1) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../4-m4_1.4.19-3_amd64.deb ...
- Unpacking m4 (1.4.19-3) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../5-pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../6-pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../7-pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Setting up libseccomp-dev:amd64 (2.5.4-1+deb12u1) ...
- Setting up m4 (1.4.19-3) ...
- 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 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+deb12u8) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved conf-gmp.4  (cached)
Processing  6/33: [gmp-freestanding.6.1.2-1: http]
Processing  7/33: [gmp-freestanding.6.1.2-1: http] [ocaml-freestanding.0.4.7: http]
Processing  8/33: [gmp-freestanding.6.1.2-1: http] [ocaml-freestanding.0.4.7: http]
Processing  9/33: [gmp-freestanding.6.1.2-1: http] [ocaml-freestanding.0.4.7: http] [conf-gmp: sh]
Processing 10/33: [gmp-freestanding.6.1.2-1: http] [ocaml-freestanding.0.4.7: http] [conf-gmp: sh] [conf-m4: sh echo | m4]
Processing 11/33: [gmp-freestanding.6.1.2-1: http] [ocaml-freestanding.0.4.7: http] [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-perl: perl]
Processing 12/33: [gmp-freestanding.6.1.2-1: http] [ocaml-freestanding.0.4.7: http] [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-perl: perl] [conf-pkg-config: pkg-config]
Processing 12/33: [ocaml-freestanding.0.4.7: http] [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-perl: perl] [conf-pkg-config: pkg-config]
Processing 12/33: [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-perl: perl] [conf-pkg-config: pkg-config]
-> retrieved ocaml-src.4.09.1-1  (cached)
Processing 13/33: [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-perl: perl] [conf-pkg-config: pkg-config]
[ocaml-src: patch] applying fix-configure-4.09.1.patch
Processing 14/33: [conf-gmp: sh] [conf-m4: sh echo | m4] [conf-perl: perl] [conf-pkg-config: pkg-config] [ocaml-src: patch]
- + cc -c -I/usr/local/include test.c
-> compiled  conf-gmp.4
Processing 14/33: [conf-m4: sh echo | m4] [conf-perl: perl] [conf-pkg-config: pkg-config] [ocaml-src: patch]
-> installed conf-gmp.4
Processing 15/33: [conf-m4: sh echo | m4] [conf-perl: perl] [conf-pkg-config: pkg-config] [ocaml-src: patch]
- + echo
- + m4
- 
-> compiled  conf-m4.1
Processing 15/33: [conf-perl: perl] [conf-pkg-config: pkg-config] [ocaml-src: patch]
-> installed conf-m4.1
Processing 16/33: [conf-perl: perl] [conf-pkg-config: pkg-config] [ocaml-src: patch]
- 
- This is perl 5, version 36, subversion 0 (v5.36.0) built for x86_64-linux-gnu-thread-multi
- (with 53 registered patches, see perl -V for more detail)
- 
- Copyright 1987-2022, Larry Wall
- 
- Perl may be copied only under the terms of either the Artistic License or the
- GNU General Public License, which may be found in the Perl 5 source kit.
- 
- Complete documentation for Perl, including FAQ lists, should be found on
- this system using "man perl" or "perldoc perl".  If you have access to the
- Internet, point your browser at https://www.perl.org/, the Perl Home Page.
- 
-> compiled  conf-perl.2
Processing 16/33: [conf-pkg-config: pkg-config] [ocaml-src: patch]
-> installed conf-perl.2
Processing 17/33: [conf-pkg-config: pkg-config] [ocaml-src: patch]
- usage: pkgconf [OPTIONS] [LIBRARIES]
- 
- basic options:
- 
-   --help                            this message
-   --about                           print pkgconf version and license to stdout
-   --version                         print supported pkg-config version to stdout
-   --atleast-pkgconfig-version       check whether or not pkgconf is compatible
-                                     with a specified pkg-config version
-   --errors-to-stdout                print all errors on stdout instead of stderr
-   --print-errors                    ensure all errors are printed
-   --short-errors                    be less verbose about some errors
-   --silence-errors                  explicitly be silent about errors
-   --list-all                        list all known packages
-   --list-package-names              list all known package names
-   --simulate                        simulate walking the calculated dependency graph
-   --no-cache                        do not cache already seen packages when
-                                     walking the dependency graph
-   --log-file=filename               write an audit log to a specified file
-   --with-path=path                  adds a directory to the search path
-   --define-prefix                   override the prefix variable with one that is guessed based on
-                                     the location of the .pc file
-   --dont-define-prefix              do not override the prefix variable under any circumstances
-   --prefix-variable=varname         sets the name of the variable that pkgconf considers
-                                     to be the package prefix
-   --relocate=path                   relocates a path and exits (mostly for testsuite)
-   --dont-relocate-paths             disables path relocation support
- 
- cross-compilation personality support:
- 
-   --personality=triplet|filename    sets the personality to 'triplet' or a file named 'filename'
-   --dump-personality                dumps details concerning selected personality
- 
- checking specific pkg-config database entries:
- 
-   --atleast-version                 require a specific version of a module
-   --exact-version                   require an exact version of a module
-   --max-version                     require a maximum version of a module
-   --exists                          check whether or not a module exists
-   --uninstalled                     check whether or not an uninstalled module will be used
-   --no-uninstalled                  never use uninstalled modules when satisfying dependencies
-   --no-provides                     do not use 'provides' rules to resolve dependencies
-   --maximum-traverse-depth          maximum allowed depth for dependency graph
-   --static                          be more aggressive when computing dependency graph
-                                     (for static linking)
-   --shared                          use a simplified dependency graph (usually default)
-   --pure                            optimize a static dependency graph as if it were a normal
-                                     dependency graph
-   --env-only                        look only for package entries in PKG_CONFIG_PATH
-   --ignore-conflicts                ignore 'conflicts' rules in modules
-   --validate                        validate specific .pc files for correctness
- 
- querying specific pkg-config database fields:
- 
-   --define-variable=varname=value   define variable 'varname' as 'value'
-   --variable=varname                print specified variable entry to stdout
-   --cflags                          print required CFLAGS to stdout
-   --cflags-only-I                   print required include-dir CFLAGS to stdout
-   --cflags-only-other               print required non-include-dir CFLAGS to stdout
-   --libs                            print required linker flags to stdout
-   --libs-only-L                     print required LDPATH linker flags to stdout
-   --libs-only-l                     print required LIBNAME linker flags to stdout
-   --libs-only-other                 print required other linker flags to stdout
-   --print-requires                  print required dependency frameworks to stdout
-   --print-requires-private          print required dependency frameworks for static
-                                     linking to stdout
-   --print-provides                  print provided dependencies to stdout
-   --print-variables                 print all known variables in module to stdout
-   --digraph                         print entire dependency graph in graphviz 'dot' format
-   --keep-system-cflags              keep -I/usr/include entries in cflags output
-   --keep-system-libs                keep -L/lib:/lib/i386-linux-gnu:/lib/x86_64-linux-gnu:/lib/x86_64-linux-gnux32:/lib32:/libx32:/usr/lib:/usr/lib/i386-linux-gnu:/usr/lib/x86_64-linux-gnu:/usr/lib/x86_64-linux-gnux32:/usr/lib32:/usr/libx32 entries in libs output
-   --path                            show the exact filenames for any matching .pc files
-   --modversion                      print the specified module's version to stdout
-   --internal-cflags                 do not filter 'internal' cflags from output
- 
- filtering output:
- 
-   --msvc-syntax                     print translatable fragments in MSVC syntax
-   --fragment-filter=types           filter output fragments to the specified types
- 
- report bugs to <https://github.com/pkgconf/pkgconf/issues/new>.
-> compiled  conf-pkg-config.2
Processing 17/33: [ocaml-src: patch]
Processing 18/33: [ocaml-src: patch] [conf-pkg-config: mkdir]
Processing 18/33: [gmp-freestanding.6.1.2-1/gmp-freestanding.pc: dl] [ocaml-src: patch] [conf-pkg-config: mkdir]
-> retrieved ocaml-freestanding.0.4.7  (https://github.com/mirage/ocaml-solo5/archive/v0.4.7.tar.gz)
Processing 19/33: [gmp-freestanding.6.1.2-1/gmp-freestanding.pc: dl] [ocaml-src: patch] [conf-pkg-config: mkdir]
-> retrieved solo5-bindings-hvt.0.6.4  (cached)
Processing 20/33: [gmp-freestanding.6.1.2-1/gmp-freestanding.pc: dl] [ocaml-src: patch] [conf-pkg-config: mkdir]
Processing 20/33: [gmp-freestanding.6.1.2-1/gmp-freestanding.pc: dl] [conf-pkg-config: mkdir]
-> installed conf-pkg-config.2
Processing 20/33: [gmp-freestanding.6.1.2-1/gmp-freestanding.pc: dl]
Processing 21/33: [gmp-freestanding.6.1.2-1/gmp-freestanding.pc: dl] [conf-libseccomp: pkg-config libseccomp]
Processing 22/33: [gmp-freestanding.6.1.2-1/gmp-freestanding.pc: dl] [conf-libseccomp: pkg-config libseccomp] [ocaml-src: cp .]
Processing 22/33: [gmp-freestanding.6.1.2-1/mirage-build.sh: dl] [conf-libseccomp: pkg-config libseccomp] [ocaml-src: cp .]
-> retrieved zarith.1.7  (cached)
Processing 23/33: [gmp-freestanding.6.1.2-1/mirage-build.sh: dl] [conf-libseccomp: pkg-config libseccomp] [zarith: ./configure] [ocaml-src: cp .]
Processing 23/33: [gmp-freestanding.6.1.2-1/mirage-build.sh: dl] [zarith-freestanding.1.7/config.diff: dl] [conf-libseccomp: pkg-config libseccomp] [zarith: ./configure] [ocaml-src: cp .]
-> compiled  conf-libseccomp.1
Processing 23/33: [gmp-freestanding.6.1.2-1/mirage-build.sh: dl] [zarith-freestanding.1.7/config.diff: dl] [zarith: ./configure] [ocaml-src: cp .]
-> retrieved gmp-freestanding.6.1.2-1  (https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz)
Processing 23/33: [zarith-freestanding.1.7/config.diff: dl] [zarith: ./configure] [ocaml-src: cp .]
Processing 23/33: [zarith-freestanding.1.7/mirage-build.sh: dl] [zarith: ./configure] [ocaml-src: cp .]
-> installed ocaml-src.4.09.1-1
Processing 23/33: [zarith-freestanding.1.7/mirage-build.sh: dl] [zarith: ./configure]
-> installed conf-libseccomp.1
Processing 24/33: [zarith-freestanding.1.7/mirage-build.sh: dl] [zarith: ./configure]
Processing 25/33: [zarith-freestanding.1.7/mirage-build.sh: dl] [solo5-bindings-hvt: ./configure.sh] [zarith: ./configure]
- binary ocaml: found in /home/opam/.opam/4.09/bin
- binary ocamlc: found in /home/opam/.opam/4.09/bin
- binary ocamldep: found in /home/opam/.opam/4.09/bin
- binary ocamlmklib: found in /home/opam/.opam/4.09/bin
- binary ocamldoc: found in /home/opam/.opam/4.09/bin
- binary ar: found in /usr/bin
- binary perl: found in /usr/bin
- binary gcc: found in /usr/bin
- binary ocamlopt: found in /home/opam/.opam/4.09/bin
- checking compilation with gcc -O3 -Wall -Wextra : working
- include caml/mlvalues.h: found
- library dynlink.cmxa: found
- binary ocamlfind: found in /home/opam/.opam/4.09/bin
- OCaml's word size is 64
- binary uname: found in /usr/bin
- include gmp.h: found
- library gmp: found
- OCaml extended comparison supported
- OCaml new hash functions available
- 
- detected configuration:
- 
-   native-code:          yes
-   dynamic linking:      yes
-   asm path:             x86_64
-   defines:              -DZ_OCAML_HASH -DZ_OCAML_COMPARE_EXT -DHAS_GMP -DZ_ELF -DZ_DOT_LABEL_PREFIX 
-   libraries:             -lgmp
-   C options:            -O3 -Wall -Wextra 
-   asm options           
-   installation path:    /home/opam/.opam/4.09/lib
-   installation method   findlib
- 
- configuration successful!
- now type "make" to build
- then type "make install" or "sudo make install" to install
Processing 25/33: [zarith-freestanding.1.7/mirage-build.sh: dl] [solo5-bindings-hvt: ./configure.sh] [zarith: make]
-> retrieved zarith-freestanding.1.7  (cached)
Processing 25/33: [solo5-bindings-hvt: ./configure.sh] [zarith: make]
- configure.sh: ERROR: Only 'gcc' 4.x+ is supported on Linux
[ERROR] The compilation of solo5-bindings-hvt.0.6.4 failed at "./configure.sh".
Processing 25/33: [zarith: make]
Processing 26/33: [zarith: make]
Processing 27/33: [zarith: make]
Processing 28/33: [zarith: make]
Processing 29/33: [zarith: make]
Processing 30/33: [zarith: make]
+ /usr/bin/make  (CWD=/home/opam/.opam/4.09/.opam-switch/build/zarith.1.7)
- ./z_pp.pl x86_64
- Name "main::extra" used only once: possible typo at ./z_pp.pl line 29.
- found assembly file caml_z_x86_64.S
-   found abs
-   found add
-   found div
-   found divexact
-   found logand
-   found lognot
-   found logor
-   found logxor
-   found mul
-   found neg
-   found pred
-   found rem
-   found shift_left
-   found shift_right
-   found sub
-   found succ
- ocamldep -native  z.ml q.ml big_int_Z.ml z.mli q.mli big_int_Z.mli > depend
- ocamlc   -c z.mli
- ocamlc   -c z.ml
- ocamlc   -c q.mli
- ocamlc   -c q.ml
- ocamlc   -c big_int_Z.mli
- ocamlc   -c big_int_Z.ml
- ocamlmklib -failsafe -o zarith z.cmo q.cmo big_int_Z.cmo -lgmp
- gcc -DZ_OCAML_HASH -DZ_OCAML_COMPARE_EXT -DHAS_GMP -DZ_ELF -DZ_DOT_LABEL_PREFIX     -c -o caml_z_x86_64.o caml_z_x86_64.S
- ocamlc -ccopt "-I/home/opam/.opam/4.09/lib/ocaml  -DZ_OCAML_HASH -DZ_OCAML_COMPARE_EXT -DHAS_GMP -DZ_ELF -DZ_DOT_LABEL_PREFIX  -O3 -Wall -Wextra " -c caml_z.c
- caml_z.c:2999:1: warning: missing initializer for field 'fixed_length' of 'struct custom_operations' [-Wmissing-field-initializers]
-  2999 | };
-       | ^
- In file included from caml_z.c:48:
- /home/opam/.opam/4.09/lib/ocaml/caml/custom.h:40:37: note: 'fixed_length' declared here
-    40 |   const struct custom_fixed_length* fixed_length;
-       |                                     ^~~~~~~~~~~~
- ocamlmklib -failsafe -o zarith caml_z_x86_64.o caml_z.o -lgmp
- ocamlopt   -c z.ml
- ocamlopt   -c q.ml
- ocamlopt   -c big_int_Z.ml
- ocamlmklib -failsafe -o zarith z.cmx q.cmx big_int_Z.cmx -lgmp
- ocamlopt -shared -o zarith.cmxs -I . zarith.cmxa -linkall
-> compiled  zarith.1.7
Processing 31/33: [zarith: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/4.09/.opam-switch/build/zarith.1.7)
- ocamlfind install -destdir "/home/opam/.opam/4.09/lib" zarith META zarith.h zarith.cma libzarith.a z.mli q.mli big_int_Z.mli z.cmi q.cmi big_int_Z.cmi zarith.a zarith.cmxa z.cmx q.cmx big_int_Z.cmx zarith.cmxs -optional dllzarith.so
- Installed /home/opam/.opam/4.09/lib/zarith/zarith.cmxs
- Installed /home/opam/.opam/4.09/lib/zarith/big_int_Z.cmx
- Installed /home/opam/.opam/4.09/lib/zarith/q.cmx
- Installed /home/opam/.opam/4.09/lib/zarith/z.cmx
- Installed /home/opam/.opam/4.09/lib/zarith/zarith.cmxa
- Installed /home/opam/.opam/4.09/lib/zarith/zarith.a
- Installed /home/opam/.opam/4.09/lib/zarith/big_int_Z.cmi
- Installed /home/opam/.opam/4.09/lib/zarith/q.cmi
- Installed /home/opam/.opam/4.09/lib/zarith/z.cmi
- Installed /home/opam/.opam/4.09/lib/zarith/big_int_Z.mli
- Installed /home/opam/.opam/4.09/lib/zarith/q.mli
- Installed /home/opam/.opam/4.09/lib/zarith/z.mli
- Installed /home/opam/.opam/4.09/lib/zarith/libzarith.a
- Installed /home/opam/.opam/4.09/lib/zarith/zarith.cma
- Installed /home/opam/.opam/4.09/lib/zarith/zarith.h
- Installed /home/opam/.opam/4.09/lib/stublibs/dllzarith.so
- Installed /home/opam/.opam/4.09/lib/stublibs/dllzarith.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.09/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/4.09/lib/zarith/META
-> installed zarith.1.7

#=== ERROR while compiling solo5-bindings-hvt.0.6.4 ===========================#
# context              2.1.6 | linux/x86_64 | ocaml-base-compiler.4.09.1 | file:///src
# path                 ~/.opam/4.09/.opam-switch/build/solo5-bindings-hvt.0.6.4
# command              ~/.opam/4.09/.opam-switch/build/solo5-bindings-hvt.0.6.4/./configure.sh
# exit-code            1
# env-file             ~/.opam/log/solo5-bindings-hvt-115-87bb74.env
# output-file          ~/.opam/log/solo5-bindings-hvt-115-87bb74.out
### output ###
# configure.sh: ERROR: Only 'gcc' 4.x+ is supported on Linux



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions were aborted
| - install gmp-freestanding    6.1.2-1
| - install ocaml-freestanding  0.4.7
| - install zarith-freestanding 1.7
+- 
+- The following actions failed
| - build solo5-bindings-hvt 0.6.4
+- 
+- The following changes have been performed (the rest was aborted)
| - install conf-gmp        4
| - install conf-libseccomp 1
| - install conf-m4         1
| - install conf-perl       2
| - install conf-pkg-config 2
| - install ocaml-src       4.09.1-1
| - install zarith          1.7
+- 
# Run eval $(opam env) to update the current shell environment

The former state can be restored with:
    /usr/bin/opam switch import "/home/opam/.opam/4.09/.opam-switch/backup/state-20240912204021.export"
'opam --cli=2.1 install zarith-freestanding.1.7 zarith.1.7 solo5-bindings-hvt.0.6.4 ocamlfind.1.9.6 gmp-freestanding.6.1.2-1 conf-pkg-config.2 conf-perl.2 conf-m4.1 conf-libseccomp.1 conf-gmp.4 --verbose --yes --confirm-level=unsafe-yes' failed.
OCaml

Innovation. Community. Security.