mlmpfr 4.0.2

Error log

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

[NOTE] Package ocamlfind is already installed (current version is 1.9.6).
The following actions will be performed:
=== install 5 packages
  - install mlmpfr     4.0.2
  - install oasis      0.4.11
  - install ocamlbuild 0.15.0
  - install ocamlify   0.0.1
  - install ocamlmod   0.0.9

The following system packages will first need to be installed:
    libmpfr-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" "libmpfr-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 .../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 .../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 libmpfr-dev:amd64.
- Preparing to unpack .../libmpfr-dev_4.2.0-1_amd64.deb ...
- Unpacking libmpfr-dev:amd64 (4.2.0-1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libmpfr-dev:amd64 (4.2.0-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u9) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved mlmpfr.4.0.2  (cached)
-> retrieved ocamlify.0.0.1  (cached)
-> retrieved ocamlbuild.0.15.0  (cached)
-> retrieved oasis.0.4.11  (cached)
-> retrieved ocamlmod.0.0.9  (cached)
-> installed ocamlbuild.0.15.0
-> installed ocamlify.0.0.1
-> installed ocamlmod.0.0.9
-> installed oasis.0.4.11
[ERROR] The compilation of mlmpfr.4.0.2 failed at "./test_installed".

#=== ERROR while compiling mlmpfr.4.0.2 =======================================#
# context              2.3.0 | linux/x86_64 | ocaml-base-compiler.4.14.2 | file:///src
# path                 ~/.opam/4.14/.opam-switch/build/mlmpfr.4.0.2
# command              ~/.opam/4.14/.opam-switch/build/mlmpfr.4.0.2/./test_installed
# exit-code            1
# env-file             ~/.opam/log/mlmpfr-113-60af2d.env
# output-file          ~/.opam/log/mlmpfr-113-60af2d.out



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build mlmpfr 4.0.2
+- 
+- The following changes have been performed
| - install oasis      0.4.11
| - install ocamlbuild 0.15.0
| - install ocamlify   0.0.1
| - install ocamlmod   0.0.9
+- 

<><> mlmpfr.4.0.2 troubleshooting <><><><><><><><><><><><><><><><><><><><><><><>
=> Make sure you had MPFR version 4.0.2 installed on your system.
# 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-20250203233930.export"