flint 0.4.0

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 colibri2.0.4 zarith.1.14 uutf.1.0.3 topkg.1.0.7 time_now.v0.15.0 stdlib-shims.0.3.0 stdio.v0.15.0 spelll.0.4 sexplib0.v0.15.1 seq.base re.1.12.0 qcheck-core.0.22 ppxlib.0.33.0 ppx_sexp_conv.v0.15.1 ppx_optcomp.v0.15.0 ppx_inline_test.v0.15.1 ppx_here.v0.15.0 ppx_hash.v0.15.0 ppx_enumerate.v0.15.0 ppx_deriving.6.0.2 ppx_derivers.1.2.1 ppx_compare.v0.15.0 ppx_cold.v0.15.0 ppx_base.v0.15.0 ppx_assert.v0.15.0 pp_loc.2.1.0 ocplib-simplex.0.4 ocamlgraph.2.1.0 ocamlfind.1.9.6 ocamlbuild.0.15.0 ocaml-compiler-libs.v0.12.4 num.1.5-1 menhirSdk.20240715 menhirLib.20240715 menhirCST.20240715 menhir.20240715 jst-config.v0.15.1 jane-street-headers.v0.15.0 integers.0.7.0 host-arch-x86_64.1 gen.1.1 fmt.0.9.0 flint.0.4.0 farith.0.1 either.1.0.0 dune-configurator.3.13.1 dune-build-info.3.13.1 dune.3.10.0 dolmen_type.0.8.1 dolmen_loop.0.8.1 dolmen.0.8.1 ctypes.0.23.0 csexp.1.5.2 cppo.1.7.0 containers.3.13.1 conf-pkg-config.3 conf-mpfr.3 conf-gmp.4 conf-flint.3.0 conf-autoconf.0.2 colibrilib.0.4 cmdliner.1.3.0 calcium.0.4.0 bigarray-compat.1.1.0 base.v0.15.1 arb.0.4.0 antic.0.4.0" 

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
[ERROR] No solution for colibri2.0.4 & zarith.1.14 & uutf.1.0.3 & topkg.1.0.7 & time_now.v0.15.0 & stdlib-shims.0.3.0 & stdio.v0.15.0 & spelll.0.4 & sexplib0.v0.15.1 & seq.base & re.1.12.0 & qcheck-core.0.22 & ppxlib.0.33.0 & ppx_sexp_conv.v0.15.1 & ppx_optcomp.v0.15.0 & ppx_inline_test.v0.15.1 & ppx_here.v0.15.0 & ppx_hash.v0.15.0 & ppx_enumerate.v0.15.0 & ppx_deriving.6.0.2 & ppx_derivers.1.2.1 & ppx_compare.v0.15.0 & ppx_cold.v0.15.0 & ppx_base.v0.15.0 & ppx_assert.v0.15.0 & pp_loc.2.1.0 & ocplib-simplex.0.4 & ocamlgraph.2.1.0 & ocamlfind.1.9.6 & ocamlbuild.0.15.0 & ocaml-compiler-libs.v0.12.4 & num.1.5-1 & menhirSdk.20240715 & menhirLib.20240715 & menhirCST.20240715 & menhir.20240715 & jst-config.v0.15.1 & jane-street-headers.v0.15.0 & integers.0.7.0 & host-arch-x86_64.1 & gen.1.1 & fmt.0.9.0 & flint.0.4.0 & farith.0.1 & either.1.0.0 & dune-configurator.3.13.1 & dune-build-info.3.13.1 & dune.3.10.0 & dolmen_type.0.8.1 & dolmen_loop.0.8.1 & dolmen.0.8.1 & ctypes.0.23.0 & csexp.1.5.2 & cppo.1.7.0 & containers.3.13.1 & conf-pkg-config.3 & conf-mpfr.3 & conf-gmp.4 & conf-flint.3.0 & conf-autoconf.0.2 & colibrilib.0.4 & cmdliner.1.3.0 & calcium.0.4.0 & bigarray-compat.1.1.0 & base.v0.15.1 & arb.0.4.0 & antic.0.4.0:   * Missing dependency:
            - conf-flint >= 3.0
            unmet availability conditions: '!(os-distribution = "ubuntu" & os-version < "24.04") & !(os-distribution = "debian" & os-version <= "12") & !(os-distribution = "fedora" & os-version <= "39") & !(os-family = "suse")'


Command failed: opam --cli=2.1 list --readonly --external '--resolve=colibri2.0.4,zarith.1.14,uutf.1.0.3,topkg.1.0.7,time_now.v0.15.0,stdlib-shims.0.3.0,stdio.v0.15.0,spelll.0.4,sexplib0.v0.15.1,seq.base,re.1.12.0,qcheck-core.0.22,ppxlib.0.33.0,ppx_sexp_conv.v0.15.1,ppx_optcomp.v0.15.0,ppx_inline_test.v0.15.1,ppx_here.v0.15.0,ppx_hash.v0.15.0,ppx_enumerate.v0.15.0,ppx_deriving.6.0.2,ppx_derivers.1.2.1,ppx_compare.v0.15.0,ppx_cold.v0.15.0,ppx_base.v0.15.0,ppx_assert.v0.15.0,pp_loc.2.1.0,ocplib-simplex.0.4,ocamlgraph.2.1.0,ocamlfind.1.9.6,ocamlbuild.0.15.0,ocaml-compiler-libs.v0.12.4,num.1.5-1,menhirSdk.20240715,menhirLib.20240715,menhirCST.20240715,menhir.20240715,jst-config.v0.15.1,jane-street-headers.v0.15.0,integers.0.7.0,host-arch-x86_64.1,gen.1.1,fmt.0.9.0,flint.0.4.0,farith.0.1,either.1.0.0,dune-configurator.3.13.1,dune-build-info.3.13.1,dune.3.10.0,dolmen_type.0.8.1,dolmen_loop.0.8.1,dolmen.0.8.1,ctypes.0.23.0,csexp.1.5.2,cppo.1.7.0,containers.3.13.1,conf-pkg-config.3,conf-mpfr.3,conf-gmp.4,conf-flint.3.0,conf-autoconf.0.2,colibrilib.0.4,cmdliner.1.3.0,calcium.0.4.0,bigarray-compat.1.1.0,base.v0.15.1,arb.0.4.0,antic.0.4.0' --color=never returned 20