2022-12-07 09:28.06: New job: Build using linux-arm64 in
                                [https://github.com/mirage/mirage-skeleton.git#refs/heads/main (ecc81d0d38b7e9b7935240c54075dfc09e6baaec)]

OBuilder spec:

((from ocaml/opam:debian-10-ocaml-4.13)
 (user (uid 1000) (gid 1000))
 (workdir /home/opam)
 (run (shell "sudo chown opam:opam /home/opam"))
 (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam update"))
 (run (network host)
      (shell "opam repo add opam https://github.com/ocaml/opam-repository.git#15306c5b232201af0cf0565e5a0bcbd9ee535d86"))
 (run (network host)
      (shell "opam repo add mirage-dev https://github.com/mirage/mirage-dev.git#842c55556ffd0950d21141d6ab99e52a8d88a50f"))
 (run (network host)
      (shell "opam pin -ny https://github.com/mirage/mirage.git#83797bbaa677e35b430971142903ebd8bdcaaf0e"))
 (run (cache (download-cache (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "sudo apt-get update && opam install -y \"mirage>=4\""))
 (copy (src .) (dst /src/))
 (env MODE hvt)
 (workdir /src/)
 (run (shell "opam exec -- make configure"))
 (env MIRAGE_EXTRA_REPOS opam-overlays:https://github.com/dune-universe/opam-overlays.git#d97e352e87fc628e1b00e9649f0f552865be791a,mirage-opam-overlays:https://github.com/dune-universe/mirage-opam-overlays.git#05f1c1823d891ce4d8adab91f5db3ac51d86dc0b)
 (run (network host)
      (shell "opam exec -- make lock"))
 (run (cache (download-cache (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "sudo apt-get update && opam exec -- make depends"))
 (run (shell "opam monorepo list -l mirage.opam.locked"))
 (run (cache (download-cache (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "opam exec -- make pull"))
 (env DUNE_CACHE enabled)
 (env DUNE_CACHE_TRANSPORT direct)
 (run (cache (dune-build-cache (target /home/opam/.cache/dune)))
      (network host)
      (shell "opam exec -- make build"))
)

2022-12-07 09:28.06: Using cache hint "mirage-ci-skeleton-debian-10-ocaml-4.13"
2022-12-07 09:28.06: Connecting to build cluster...
2022-12-07 09:28.06: Waiting for resource in pool OCluster
2022-12-07 09:28.07: Waiting for worker...
2022-12-07 09:28.07: Got resource from pool OCluster
Building on molpadia.ocamllabs.io
All commits already cached
HEAD is now at ecc81d0 Merge pull request #350 from mirage/fix-git-application

(from ocaml/opam:debian-10-ocaml-4.13)
Unable to find image 'ocaml/opam:debian-10-ocaml-4.13' locally
debian-10-ocaml-4.13: Pulling from ocaml/opam
Digest: sha256:51196b0ccd57f199364ae24bd3e78de30eb5378fe2fe484c945175041fdbf953
Status: Downloaded newer image for ocaml/opam:debian-10-ocaml-4.13
2022-12-07 09:28.07 ---> using "cbba9511e46ef57631453d5b88aeed1ed6de6fa87b6f0dcb3da9328657d73fa4" from cache

/: (user (uid 1000) (gid 1000))

/: (workdir /home/opam)

/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2022-12-07 09:28.07 ---> using "0afede13af6ea6d75cbfcfb80353059bc4fd4eea40a723ef627f0c4946f2e079" from cache

/home/opam: (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam update"))
This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted.
You may want to back it up before going further.

Continue? [Y/n] y
Format upgrade done.

<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2022-12-07 09:28.07 ---> using "88933084999984163bc104ca2978b0ba2b9c83ff33e4e30c3b6dae7cb5cde9bc" from cache

/home/opam: (run (network host)
                 (shell "opam repo add opam https://github.com/ocaml/opam-repository.git#15306c5b232201af0cf0565e5a0bcbd9ee535d86"))
[opam] Initialised
opam (at git+https://github.com/ocaml/opam-repository.git#15306c5b232201af0cf0565e5a0bcbd9ee535d86): 
    [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html)

[NOTE] Repository opam has been added to the selections of switch 4.13 only.
       Run `opam repository add opam --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.

2022-12-07 09:29.19 ---> saved as "7a3f54928cf96c1de8655e1904e08d2824b6e014052fa4f29c0c36f155b31662"

/home/opam: (run (network host)
                 (shell "opam repo add mirage-dev https://github.com/mirage/mirage-dev.git#842c55556ffd0950d21141d6ab99e52a8d88a50f"))
[mirage-dev] Initialised
[NOTE] Repository mirage-dev has been added to the selections of switch 4.13 only.
       Run `opam repository add mirage-dev --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.

2022-12-07 09:29.22 ---> saved as "7455af1d17cf543657240cbab5c3cbe360eac23caad7fc62d0864e6f7ff68668"

/home/opam: (run (network host)
                 (shell "opam pin -ny https://github.com/mirage/mirage.git#83797bbaa677e35b430971142903ebd8bdcaaf0e"))
This will pin the following packages: functoria-runtime, functoria, mirage-runtime, mirage. Continue? [Y/n] y
functoria-runtime is now pinned to git+https://github.com/mirage/mirage.git#83797bbaa677e35b430971142903ebd8bdcaaf0e (version 4.3.1)
functoria is now pinned to git+https://github.com/mirage/mirage.git#83797bbaa677e35b430971142903ebd8bdcaaf0e (version 4.3.1)
mirage-runtime is now pinned to git+https://github.com/mirage/mirage.git#83797bbaa677e35b430971142903ebd8bdcaaf0e (version 4.3.1)
mirage is now pinned to git+https://github.com/mirage/mirage.git#83797bbaa677e35b430971142903ebd8bdcaaf0e (version 4.3.1)
2022-12-07 09:29.30 ---> saved as "b35d3cb466aed6057ff6cf87bc13e16cce7e0c308fe874b6cfb304d3a8deca5f"

/home/opam: (run (cache (download-cache (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell "sudo apt-get update && opam install -y \"mirage>=4\""))
Get:1 http://security.debian.org/debian-security buster/updates InRelease [34.8 kB]
Get:2 http://deb.debian.org/debian buster InRelease [122 kB]
Get:3 http://deb.debian.org/debian buster-updates InRelease [56.6 kB]
Get:4 http://security.debian.org/debian-security buster/updates/main arm64 Packages [401 kB]
Get:5 http://deb.debian.org/debian buster/main arm64 Packages [7737 kB]
Get:6 http://deb.debian.org/debian buster-updates/main arm64 Packages.diff/Index [12.1 kB]
Get:7 http://deb.debian.org/debian buster-updates/main arm64 Packages 2022-08-18-2019.35.pdiff [283 B]
Get:7 http://deb.debian.org/debian buster-updates/main arm64 Packages 2022-08-18-2019.35.pdiff [283 B]
Fetched 8364 kB in 2s (5223 kB/s)
Reading package lists...

<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[mirage.4.3.1] synchronised (no changes)

The following actions will be performed:
  - install   cmdliner              1.1.1  [required by functoria]
  - install   ocamlbuild            0.14.2 [required by astring, bos]
  - install   dune                  3.6.1  [required by mirage]
  - install   conf-pkg-config       2      [required by opam-monorepo]
  - install   ocamlfind             1.9.5  [required by astring, bos]
  - recompile ocaml-options-vanilla 1      [upstream or system changes]
  - install   stringext             1.6.0  [required by uri]
  - install   result                1.5    [required by functoria]
  - install   pecu                  0.6    [required by emile]
  - install   ocaml-syntax-shims    1.0.0  [required by angstrom]
  - install   macaddr               5.3.1  [required by ipaddr]
  - install   domain-name           0.4.0  [required by ipaddr]
  - install   csexp                 1.5.1  [required by dune-configurator]
  - install   cppo                  1.6.9  [required by lwt]
  - install   opam-monorepo         0.3.4  [required by mirage]
  - install   bigstringaf           0.9.0  [required by emile]
  - install   topkg                 1.0.6  [required by astring, bos]
  - install   base-bytes            base   [required by base64]
  - install   ipaddr                5.3.1  [required by mirage]
  - install   dune-configurator     3.6.1  [required by lwt]
  - install   angstrom              0.15.0 [required by emile, uri]
  - install   uutf                  1.0.3  [required by emile]
  - install   rresult               0.7.0  [required by bos, functoria]
  - install   fmt                   0.9.0  [required by functoria, bos, mirage-runtime]
  - install   astring               0.8.5  [required by mirage]
  - install   ocplib-endian         1.2    [required by lwt]
  - install   base64                3.5.0  [required by emile]
  - install   uri                   4.2.0  [required by functoria]
  - install   functoria-runtime     4.3.1* [required by mirage-runtime]
  - install   fpath                 0.7.3  [required by bos, functoria]
  - install   lwt                   5.6.1  [required by mirage-runtime]
  - install   emile                 1.1    [required by functoria]
  - install   logs                  0.7.0  [required by mirage]
  - install   mirage-runtime        4.3.1* [required by mirage]
  - install   bos                   0.2.1  [required by mirage]
  - install   functoria             4.3.1* [required by mirage]
  - install   mirage                4.3.1*
===== 36 to install | 1 to recompile =====

The following system packages will first need to be installed:
    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" "pkg-config"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libicu63:arm64.
- (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 ... 17364 files and directories currently installed.)
- Preparing to unpack .../0-libicu63_63.1-6+deb10u3_arm64.deb ...
- Unpacking libicu63:arm64 (63.1-6+deb10u3) ...
- Selecting previously unselected package libxml2:arm64.
- Preparing to unpack .../1-libxml2_2.9.4+dfsg1-7+deb10u5_arm64.deb ...
- Unpacking libxml2:arm64 (2.9.4+dfsg1-7+deb10u5) ...
- Selecting previously unselected package libglib2.0-0:arm64.
- Preparing to unpack .../2-libglib2.0-0_2.58.3-2+deb10u4_arm64.deb ...
- Unpacking libglib2.0-0:arm64 (2.58.3-2+deb10u4) ...
- Selecting previously unselected package libglib2.0-data.
- Preparing to unpack .../3-libglib2.0-data_2.58.3-2+deb10u4_all.deb ...
- Unpacking libglib2.0-data (2.58.3-2+deb10u4) ...
- Selecting previously unselected package pkg-config.
- Preparing to unpack .../4-pkg-config_0.29-6_arm64.deb ...
- Unpacking pkg-config (0.29-6) ...
- Selecting previously unselected package shared-mime-info.
- Preparing to unpack .../5-shared-mime-info_1.10-1_arm64.deb ...
- Unpacking shared-mime-info (1.10-1) ...
- Selecting previously unselected package xdg-user-dirs.
- Preparing to unpack .../6-xdg-user-dirs_0.17-2_arm64.deb ...
- Unpacking xdg-user-dirs (0.17-2) ...
- Setting up xdg-user-dirs (0.17-2) ...
- Setting up libglib2.0-0:arm64 (2.58.3-2+deb10u4) ...
- No schema files found: doing nothing.
- Setting up libicu63:arm64 (63.1-6+deb10u3) ...
- Setting up libglib2.0-data (2.58.3-2+deb10u4) ...
- Setting up pkg-config (0.29-6) ...
- Setting up libxml2:arm64 (2.9.4+dfsg1-7+deb10u5) ...
- Setting up shared-mime-info (1.10-1) ...
- Processing triggers for libc-bin (2.28-10+deb10u1) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved astring.0.8.5  (cached)
-> retrieved angstrom.0.15.0  (cached)
-> retrieved base64.3.5.0  (cached)
-> retrieved bigstringaf.0.9.0  (cached)
-> retrieved bos.0.2.1  (cached)
-> retrieved cmdliner.1.1.1  (cached)
-> retrieved cppo.1.6.9  (cached)
-> retrieved csexp.1.5.1  (cached)
-> retrieved domain-name.0.4.0  (cached)
-> retrieved dune.3.6.1  (cached)
-> installed conf-pkg-config.2
-> retrieved dune-configurator.3.6.1  (cached)
-> retrieved emile.1.1  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved fpath.0.7.3  (cached)
-> installed cmdliner.1.1.1
-> retrieved ipaddr.5.3.1  (cached)
-> retrieved logs.0.7.0  (cached)
-> retrieved lwt.5.6.1  (cached)
-> retrieved macaddr.5.3.1  (cached)
-> retrieved functoria.4.3.1  (no changes)
-> retrieved mirage.4.3.1  (no changes)
-> removed   ocaml-options-vanilla.1
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocamlbuild.0.14.2  (cached)
-> retrieved ocamlfind.1.9.5  (cached)
-> retrieved ocplib-endian.1.2  (cached)
-> retrieved mirage-runtime.4.3.1  (no changes)
-> retrieved pecu.0.6  (cached)
-> retrieved result.1.5  (cached)
-> retrieved rresult.0.7.0  (cached)
-> retrieved stringext.1.6.0  (cached)
-> retrieved topkg.1.0.6  (cached)
-> retrieved uri.4.2.0  (cached)
-> retrieved uutf.1.0.3  (cached)
-> retrieved functoria-runtime.4.3.1  (no changes)
-> retrieved opam-monorepo.0.3.4  (cached)
-> installed ocamlfind.1.9.5
-> installed base-bytes.base
-> installed ocamlbuild.0.14.2
-> installed topkg.1.0.6
-> installed rresult.0.7.0
-> installed uutf.1.0.3
-> installed fmt.0.9.0
-> installed astring.0.8.5
-> installed fpath.0.7.3
-> installed dune.3.6.1
-> installed bigstringaf.0.9.0
-> installed csexp.1.5.1
-> installed base64.3.5.0
-> installed domain-name.0.4.0
-> installed macaddr.5.3.1
-> installed pecu.0.6
-> installed result.1.5
-> installed stringext.1.6.0
-> installed functoria-runtime.4.3.1
-> installed ocaml-syntax-shims.1.0.0
-> installed cppo.1.6.9
-> installed ipaddr.5.3.1
-> installed ocplib-endian.1.2
-> installed angstrom.0.15.0
-> installed dune-configurator.3.6.1
-> installed emile.1.1
-> installed uri.4.2.0
-> installed lwt.5.6.1
-> installed logs.0.7.0
-> installed mirage-runtime.4.3.1
-> installed bos.0.2.1
-> installed opam-monorepo.0.3.4
-> installed functoria.4.3.1
-> installed mirage.4.3.1
Done.
# Run eval $(opam env) to update the current shell environment
2022-12-07 09:30.26 ---> saved as "193b2c843871836fdb143a4534f16395c173b6120a7a4794873ca26cf6059ac7"

/home/opam: (copy (src .) (dst /src/))
2022-12-07 09:30.26 ---> saved as "f19f64b3cfc7e58661fa138b5e59bf15efd7efb1ec3d3855523ed15643a325f5"

/home/opam: (env MODE hvt)

/home/opam: (workdir /src/)

/src/: (run (shell "opam exec -- make configure"))
mirage configure -f tutorial/noop/config.ml -t hvt 
mirage configure -f tutorial/noop-functor/config.ml -t hvt 
mirage configure -f tutorial/hello/config.ml -t hvt 
mirage configure -f tutorial/hello-key/config.ml -t hvt 
mirage configure -f tutorial/lwt/echo_server/config.ml -t hvt 
mirage configure -f tutorial/lwt/heads1/config.ml -t hvt 
mirage configure -f tutorial/lwt/heads2/config.ml -t hvt 
mirage configure -f tutorial/lwt/timeout1/config.ml -t hvt 
mirage configure -f tutorial/lwt/timeout2/config.ml -t hvt 
mirage configure -f tutorial/app_info/config.ml -t hvt 
mirage configure -f device-usage/clock/config.ml -t hvt 
mirage configure -f device-usage/conduit_server/config.ml -t hvt 
mirage configure -f device-usage/console/config.ml -t hvt 
mirage configure -f device-usage/http-fetch/config.ml -t hvt 
mirage configure -f device-usage/kv_ro/config.ml -t hvt 
mirage configure -f device-usage/network/config.ml -t hvt 
mirage configure -f device-usage/ping6/config.ml -t hvt 
mirage configure -f device-usage/prng/config.ml -t hvt 
mirage configure -f device-usage/littlefs/config.ml -t hvt 
mirage configure -f applications/docteur/config.ml -t hvt 
mirage configure -f applications/dhcp/config.ml -t hvt 
mirage configure -f applications/http/config.ml -t hvt 
mirage configure -f applications/git/config.ml -t hvt 
mirage configure -f applications/dns/config.ml -t hvt 
mirage configure -f applications/crypto/config.ml -t hvt 
mirage configure -f applications/static_website_tls/config.ml -t hvt 
mirage configure -f device-usage/block/config.ml -t hvt 
2022-12-07 09:30.42 ---> saved as "22764563047845adccc7939285eeda9b3a425cdf30921e9613c708856092633c"

/src/: (env MIRAGE_EXTRA_REPOS opam-overlays:https://github.com/dune-universe/opam-overlays.git#d97e352e87fc628e1b00e9649f0f552865be791a,mirage-opam-overlays:https://github.com/dune-universe/mirage-opam-overlays.git#05f1c1823d891ce4d8adab91f5db3ac51d86dc0b)

/src/: (run (network host)
            (shell "opam exec -- make lock"))
[opam-overlays] Initialised
[NOTE] Repository opam-overlays has been added to the selections of switch 4.13 only.
       Run `opam repository add opam-overlays --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.

[mirage-opam-overlays] Initialised
[NOTE] Repository mirage-opam-overlays has been added to the selections of switch 4.13 only.
       Run `opam repository add mirage-opam-overlays --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.

env OPAMVAR_monorepo="opam-monorepo" opam monorepo lock --recurse-opam noop-hvt noop-functor-hvt hello-hvt hello-key-hvt echo_server-hvt heads1-hvt heads2-hvt timeout1-hvt timeout2-hvt echo_server-hvt app-info-hvt speaking_clock-hvt conduit_server-hvt console-hvt http-fetch-hvt kv_ro-hvt network-hvt ping-hvt prng-hvt elittlefs-hvt static_kv_ro-hvt dhcp-hvt minipaf-hvt minigit-hvt resolve-hvt crypto-test-hvt https-hvt block_test-hvt --build-only --ocaml-version 4.13.1 -l ./mirage.opam.locked
==> Using 27 locally scanned packages as the targets.
[WARNING] Unknown variable "ocaml-system:version"
[WARNING] Unknown variable "ocaml-base-compiler:version"
[WARNING] Unknown variable "ocaml-variants:version"
[WARNING] Unknown variable "ocaml-system:version"
[WARNING] Unknown variable "ocaml-base-compiler:version"
[WARNING] Unknown variable "ocaml-variants:version"
==> Found 181 opam dependencies for the target packages.
==> Querying opam database for their metadata and Dune compatibility.
==> Calculating exact pins for each of them.
opam-monorepo: [WARNING] The following packages come from the same repository git+https://github.com/mirage/ocaml-git.git but are associated with different URLs:
git-unix.3.10.0: https://github.com/mirage/ocaml-git/releases/download/3.10.0/git-3.10.0.tbz
git-paf.3.10.0: https://github.com/mirage/ocaml-git/releases/download/3.10.0/git-3.10.0.tbz
git-mirage.3.10.0: https://github.com/mirage/ocaml-git/releases/download/3.10.0/git-3.10.0.tbz
git.3.10.0: https://github.com/mirage/ocaml-git/releases/download/3.10.0/git-3.10.0.tbz
carton-lwt.0.6.0: https://github.com/mirage/ocaml-git/releases/download/carton-v0.6.0/git-carton-v0.6.0.tbz
carton-git.0.6.0: https://github.com/mirage/ocaml-git/releases/download/carton-v0.6.0/git-carton-v0.6.0.tbz
carton.0.6.0: https://github.com/mirage/ocaml-git/releases/download/carton-v0.6.0/git-carton-v0.6.0.tbz
The url for the highest versioned package was selected: git-unix.3.10.0: https://github.com/mirage/ocaml-git/releases/download/3.10.0/git-3.10.0.tbz
==> Wrote lockfile with 120 entries to mirage.opam.locked. You can now run opam monorepo pull to fetch their sources.
Repositories removed from the selections of switch 4.13. Use '--all' to forget about them altogether.
Repositories removed from the selections of switch 4.13. Use '--all' to forget about them altogether.
2022-12-07 09:31.13 ---> saved as "851318b8ff38b1755c28929e42ff44021a97479ea2265989943dcd6ab2fb1357"

/src/: (run (cache (download-cache (target /home/opam/.opam/download-cache)))
            (network host)
            (shell "sudo apt-get update && opam exec -- make depends"))
Hit:1 http://deb.debian.org/debian buster InRelease
Hit:2 http://security.debian.org/debian-security buster/updates InRelease
Hit:3 http://deb.debian.org/debian buster-updates InRelease
Reading package lists...
opam install  tutorial/noop/mirage/*.opam  tutorial/noop-functor/mirage/*.opam  tutorial/hello/mirage/*.opam  tutorial/hello-key/mirage/*.opam  tutorial/lwt/echo_server/mirage/*.opam  tutorial/lwt/heads1/mirage/*.opam  tutorial/lwt/heads2/mirage/*.opam  tutorial/lwt/timeout1/mirage/*.opam  tutorial/lwt/timeout2/mirage/*.opam  tutorial/lwt/echo_server/mirage/*.opam  tutorial/app_info/mirage/*.opam  device-usage/clock/mirage/*.opam  device-usage/conduit_server/mirage/*.opam  device-usage/console/mirage/*.opam  device-usage/http-fetch/mirage/*.opam  device-usage/kv_ro/mirage/*.opam  device-usage/network/mirage/*.opam  device-usage/ping6/mirage/*.opam  device-usage/prng/mirage/*.opam  device-usage/littlefs/mirage/*.opam  applications/docteur/mirage/*.opam  applications/dhcp/mirage/*.opam  applications/http/mirage/*.opam  applications/git/mirage/*.opam  applications/dns/mirage/*.opam  applications/crypto/mirage/*.opam  applications/static_website_tls/mirage/*.opam  device-usage/block/mirage/*.opam --deps-only --yes
The following actions will be performed:
  - install conf-libseccomp 1
  - install ocaml-src       4.13.1
  - install conf-which      1
  - install solo5           0.7.4
  - install ocaml-solo5     0.8.1
===== 5 to install =====

The following system packages will first need to be installed:
    libseccomp-dev

<><> 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" "libseccomp-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libseccomp-dev:arm64.
- (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 ... 17755 files and directories currently installed.)
- Preparing to unpack .../libseccomp-dev_2.3.3-4_arm64.deb ...
- Unpacking libseccomp-dev:arm64 (2.3.3-4) ...
- Setting up libseccomp-dev:arm64 (2.3.3-4) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-solo5.0.8.1  (cached)
-> retrieved ocaml-src.4.13.1  (cached)
-> retrieved solo5.0.7.4  (cached)
-> installed ocaml-src.4.13.1
-> installed conf-libseccomp.1
-> installed conf-which.1
-> installed solo5.0.7.4
-> installed ocaml-solo5.0.8.1
Done.
env OPAMVAR_monorepo="opam-monorepo" opam monorepo depext -y -l ./mirage.opam.locked
==> Using lockfile mirage.opam.locked
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "m4"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libgmpxx4ldbl:arm64.
- (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 ... 17788 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.1.2+dfsg-4+deb10u1_arm64.deb ...
- Unpacking libgmpxx4ldbl:arm64 (2:6.1.2+dfsg-4+deb10u1) ...
- Selecting previously unselected package libgmp-dev:arm64.
- Preparing to unpack .../libgmp-dev_2%3a6.1.2+dfsg-4+deb10u1_arm64.deb ...
- Unpacking libgmp-dev:arm64 (2:6.1.2+dfsg-4+deb10u1) ...
- Selecting previously unselected package libsigsegv2:arm64.
- Preparing to unpack .../libsigsegv2_2.12-2_arm64.deb ...
- Unpacking libsigsegv2:arm64 (2.12-2) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../archives/m4_1.4.18-2_arm64.deb ...
- Unpacking m4 (1.4.18-2) ...
- Setting up libgmpxx4ldbl:arm64 (2:6.1.2+dfsg-4+deb10u1) ...
- Setting up libsigsegv2:arm64 (2.12-2) ...
- Setting up libgmp-dev:arm64 (2:6.1.2+dfsg-4+deb10u1) ...
- Setting up m4 (1.4.18-2) ...
- Processing triggers for libc-bin (2.28-10+deb10u1) ...
2022-12-07 09:32.25 ---> saved as "3a2bb9968d0ba12897de0a0cafd01cac67cf690454f69d827a621ce6b1223f1b"

/src/: (run (shell "opam monorepo list -l mirage.opam.locked"))
==> Using lockfile mirage.opam.locked
==> The vendor directory is /src/duniverse/
angstrom                 0.15.0            Parser combinators built for speed and memory-efficiency
arp                      3.0.0             Address Resolution Protocol purely in OCaml
art                      0.2.0             Adaptive Radix Tree
asn1-combinators         0.2.6             Embed typed ASN.1 grammars in OCaml
astring                  0.8.5+dune        pinned at https://github.com/dune-universe/astring/archive/v0.8.5+dune.tar.gz
awa                      0.1.1             SSH implementation in OCaml
awa-mirage               0.1.1             SSH implementation in OCaml
base                     v0.15.1           Full standard library replacement for OCaml
base-bytes               base+dune         pinned at https://github.com/kit-ty-kate/bytes/archive/v0.1.0.tar.gz
base64                   3.5.0             Base64 encoding for OCaml
bheap                    2.0.0             Priority queues
bigarray-compat          1.1.0             Compatibility library to use Stdlib.Bigarray when possible
bigstringaf              0.9.0             Bigstring intrinsics and fast blits based on memcpy/memmove
bos                      0.2.1+dune        pinned at https://github.com/dune-universe/bos/releases/download/v0.2.1%2Bdune/bos-0.2.1.dune.tbz
ca-certs                 0.2.3             Detect root CA certificates from the operating system
ca-certs-nss             3.83              X.509 trust anchors extracted from Mozilla's NSS
carton                   0.6.0             Implementation of PACKv2 file in OCaml
carton-git               0.6.0             Implementation of PACK file in OCaml
carton-lwt               0.6.0             Implementation of PACK file in OCaml
chamelon                 0.1.2             Subset of littlefs filesystem fulfilling MirageOS KV
charrua                  1.5.0             DHCP wire frame encoder and decoder
charrua-server           1.5.0             DHCP server
checkseum                0.4.0             Adler-32, CRC32 and CRC32-C implementation in C and OCaml
cmdliner                 1.1.1+dune        pinned at https://erratique.ch/software/cmdliner/releases/cmdliner-1.1.1.tbz
cohttp                   5.0.0             An OCaml library for HTTP clients and servers
cohttp-lwt               5.0.0             CoHTTP implementation using the Lwt concurrency library
cohttp-mirage            5.0.0             CoHTTP implementation for the MirageOS unikernel
conduit                  6.0.1             A network connection establishment library
conduit-lwt              6.0.1             A portable network connection establishment library using Lwt
conduit-mirage           6.0.1             A network connection establishment library for MirageOS
cppo                     1.6.9             Code preprocessor like cpp for OCaml
crunch                   3.3.1             Convert a filesystem into a static OCaml module
csexp                    1.5.1             Parsing and printing of S-expressions in Canonical form
cstruct                  6.1.1             Access C-like structures directly from OCaml
cstruct-lwt              6.1.1             Access C-like structures directly from OCaml
cstruct-sexp             6.1.1             S-expression serialisers for C-like structures
cstruct-unix             6.1.1             Access C-like structures directly from OCaml
decompress               1.5.1             Implementation of Zlib and GZip in OCaml
digestif                 1.1.3             Hashes implementations (SHA*, RIPEMD160, BLAKE2* and MD5)
dns                      6.4.1             An opinionated Domain Name System (DNS) library
dns-client               6.4.1             DNS resolver API
docteur                  0.0.5             A simple read-only Key/Value from Git to MirageOS
docteur-solo5            0.0.5             A simple read-only Key/Value from Git to MirageOS
domain-name              0.4.0             RFC 1035 Internet domain names
duff                     0.5               Rabin's fingerprint and diff algorithm in OCaml
dune-build-info          3.6.1             Embed build information inside executable
dune-configurator        3.6.1             Helper library for gathering system configuration
duration                 0.2.1             Conversions to various time units
emile                    1.1               Parser of email address according RFC822
encore                   0.8               Library to generate encoder/decoder which ensure isomorphism
eqaf                     0.9               Constant-time equal function on string
ethernet                 3.0.0             OCaml Ethernet (IEEE 802.3) layer, used in MirageOS
faraday                  0.8.2             A library for writing fast and memory-efficient serializers
findlib                  1.8.1+dune        pinned at https://github.com/dune-universe/lib-findlib/archive/v1.8.1+dune.tar.gz
fmt                      0.9.0+dune        pinned at https://github.com/dune-universe/fmt/releases/download/v0.9.0%2Bdune/fmt-0.9.0.dune.tbz
fpath                    0.7.3+dune        pinned at https://github.com/dune-universe/fpath/archive/v0.7.3+dune.tar.gz
functoria-runtime        4.3.1             pinned at git+https://github.com/mirage/mirage.git#83797bbaa677e35b430971142903ebd8bdcaaf0e
git                      3.10.0            Git format and protocol in pure OCaml
git-mirage               3.10.0            A package to use ocaml-git with MirageOS backend
git-paf                  3.10.0            A package to use HTTP-based ocaml-git with MirageOS backend
git-unix                 3.10.0            Virtual package to install and configure ocaml-git's Unix backend
gmap                     0.3.0             Heterogenous maps over a GADT
gmp                      6.2.1-4           The GNU Multiple Precision Arithmetic Library
h2                       0.9.0             A high-performance, memory-efficient, and scalable HTTP/2 library for OCaml
happy-eyeballs           0.4.0             Connecting to a remote host via IP version 4 or 6
happy-eyeballs-lwt       0.4.0             Connecting to a remote host via IP version 4 or 6 using Lwt_unix
happy-eyeballs-mirage    0.4.0             Connecting to a remote host via IP version 4 or 6 using Mirage
hex                      1.5.0             Library providing hexadecimal converters
hkdf                     1.0.4             HMAC-based Extract-and-Expand Key Derivation Function (RFC 5869)
hpack                    0.9.0             An HPACK (Header Compression for HTTP/2) implementation in OCaml
httpaf                   0.7.1             A high-performance, memory-efficient, and scalable web server for OCaml
hxd                      0.3.2             Hexdump in OCaml
io-page                  3.0.0             Support for efficient handling of I/O memory pages
ipaddr                   5.3.1             A library for manipulation of IP (and MAC) address representations
ipaddr-sexp              5.3.1             A library for manipulation of IP address representations using sexp
jsonm                    1.0.1+dune        pinned at https://github.com/dune-universe/jsonm/archive/v1.0.1+dune.tar.gz
ke                       0.6               Queue implementation
logs                     0.7.0+dune2       pinned at https://github.com/dune-universe/logs/releases/download/v0.7.0%2Bdune2/logs-0.7.0.dune2.tbz
lru                      0.3.1             Scalable LRU caches
lwt                      5.6.1             Promises and event-driven I/O
lwt-dllist               1.0.1             Mutable doubly-linked list with Lwt iterators
macaddr                  5.3.1             A library for manipulation of MAC address representations
macaddr-cstruct          5.3.1             A library for manipulation of MAC address representations using Cstructs
macaddr-sexp             5.3.1             A library for manipulation of MAC address representations using sexp
magic-mime               1.3.0             Map filenames to common MIME types
menhir                   20220210          An LR(1) parser generator
menhirLib                20220210          Runtime support library for parsers generated by Menhir
menhirSdk                20220210          Compile-time library for auxiliary tools related to Menhir
metrics                  0.4.0             Metrics infrastructure for OCaml
mimic                    0.0.6             A simple protocol dispatcher
mimic-happy-eyeballs     0.0.6             A happy-eyeballs integration into mimic
mirage-block             3.0.2             Block signatures and implementations for MirageOS
mirage-block-ccm         1.1.0             AES-CCM encrypted Mirage Mirage_types.BLOCK storage
mirage-block-solo5       0.8.1             Solo5 implementation of MirageOS block interface
mirage-block-unix        2.14.2            MirageOS disk block driver for Unix
mirage-bootvar-solo5     0.6.0             Solo5 implementation of MirageOS Bootvar interface
mirage-channel           4.1.0             Buffered channels for MirageOS FLOW types
mirage-clock             4.2.0             Libraries and module types for portable clocks
mirage-clock-solo5       4.2.0             Paravirtual implementation of the MirageOS Clock interface
mirage-clock-unix        4.2.0             Unix-based implementation for the MirageOS Clock interface
mirage-console           5.1.0             Implementations of Mirage console devices
mirage-console-solo5     0.8.0             Solo5 implementation of MirageOS console interface
mirage-crypto            0.10.7            Simple symmetric cryptography for the modern age
mirage-crypto-ec         0.10.7            Elliptic Curve Cryptography with primitives taken from Fiat
mirage-crypto-pk         0.10.7            Simple public-key cryptography for the modern age
mirage-crypto-rng        0.10.7            A cryptographically secure PRNG
mirage-crypto-rng-mirage 0.10.7            Entropy collection for a cryptographically secure PRNG
mirage-flow              3.0.0             Flow implementations and combinators for MirageOS
mirage-flow-combinators  3.0.0             Flow implementations and combinators for MirageOS specialized to lwt
mirage-kv                4.0.1             MirageOS signatures for key/value devices
mirage-kv-mem            3.0.0             In-memory key value store for MirageOS
mirage-logs              1.2.0             A reporter for the Logs library that writes log messages to stderr, using a Mirage `CLOCK` to add timestamps
mirage-net               4.0.0             Network signatures for MirageOS
mirage-net-solo5         0.8.0             Solo5 implementation of MirageOS network interface
mirage-profile           0.9.1             Collect runtime profiling information in CTF format
mirage-random            3.0.0             Random-related devices for MirageOS
mirage-runtime           4.3.1             pinned at git+https://github.com/mirage/mirage.git#83797bbaa677e35b430971142903ebd8bdcaaf0e
mirage-solo5             0.9.1             Solo5 core platform libraries for MirageOS
mirage-time              3.0.0             Time operations for MirageOS
mirage-unix              5.0.1             Unix core platform libraries for MirageOS
mmap                     1.2.0             File mapping functionality
mtime                    1.4.0+dune2       pinned at https://github.com/dune-universe/mtime/releases/download/v1.4.0%2Bdune2/mtime-v1.4.0.dune2.tbz
num                      1.4+dune2         pinned at https://github.com/dune-universe/num/releases/download/v1.4%2Bdune2/num-v1.4.dune2.tbz
ocaml-compiler-libs      v0.12.4           OCaml compiler libraries repackaged
ocaml-syntax-shims       1.0.0             Backport new syntax to older OCaml versions
ocamlfind                1.8.1+dune        pinned at https://github.com/dune-universe/lib-findlib/archive/v1.8.1+dune.tar.gz
ocamlgraph               2.0.0             A generic graph library for OCaml
ocplib-endian            1.2               Optimised functions to read and write int16/32/64 from strings and bigarrays
optint                   0.2.0             Efficient integer types on 64-bit architectures
paf                      0.3.0             HTTP/AF and MirageOS
parse-argv               0.2.0             Process strings into sets of command-line arguments
parsexp                  v0.15.0           S-expression parsing library
pbkdf                    1.2.0             Password based key derivation functions (PBKDF) from PKCS#5
pecu                     0.6               Encoder/Decoder of Quoted-Printable (RFC2045 & RFC2047)
ppx_cstruct              6.1.1             Access C-like structures directly from OCaml
ppx_derivers             1.2.1             Shared [@@deriving] plugin registry
ppx_sexp_conv            v0.15.1           [@@deriving] plugin to generate S-expression conversion functions
ppxlib                   0.28.0            Standard library for ppx rewriters
psq                      0.2.1             Functional Priority Search Queues
ptime                    1.0.0+dune2       pinned at https://github.com/dune-universe/ptime/releases/download/v1.0.0%2Bdune2/ptime-1.0.0.dune2.tbz
randomconv               0.1.3             Convert from random byte vectors (Cstruct.t) to random native numbers
re                       1.10.4            RE is a regular expression library for OCaml
result                   1.5               Compatibility Result module
rresult                  0.7.0+dune        pinned at https://github.com/dune-universe/rresult/releases/download/v0.7.0%2Bdune/rresult-0.7.0.dune.tbz
seq                      base+dune         pinned at https://github.com/c-cube/seq/archive/0.2.2.tar.gz
sexplib                  v0.15.1           Library for serializing OCaml values to and from S-expressions
sexplib0                 v0.15.1           Library containing the definition of S-expressions and some base converters
stdlib-shims             0.3.0             Backport some of the new stdlib features to older compiler
stringext                1.6.0             Extra string functions for OCaml
tcpip                    7.1.2             OCaml TCP/IP networking stack, used in MirageOS
tls                      0.15.4            Transport Layer Security purely in OCaml
tls-mirage               0.15.4            Transport Layer Security purely in OCaml, MirageOS layer
uri                      4.2.0             An RFC3986 URI/URL parsing library
uri-sexp                 4.2.0             An RFC3986 URI/URL parsing library
uutf                     1.0.3+dune        pinned at https://github.com/dune-universe/uutf/releases/download/v1.0.3%2Bdune/uutf-1.0.3.dune.tbz
vchan                    6.0.1             Xen Vchan implementation
x509                     0.16.2            Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml
xenstore                 2.2.0             Xenstore protocol in pure OCaml
xenstore_transport       1.3.0             Low-level libraries for connecting to a xenstore service on a xen host
zarith                   1.12+dune+mirage1 Implements arithmetic and logical operations over arbitrary-precision integers
2022-12-07 09:32.51 ---> saved as "e0d97b6888a694f4829b95b559cc54bf3f80eaaadf46d1562f7e251f15747d48"

/src/: (run (cache (download-cache (target /home/opam/.opam/download-cache)))
            (network host)
            (shell "opam exec -- make pull"))
env OPAMVAR_monorepo="opam-monorepo" opam monorepo pull
==> Using lockfile /src/mirage.opam.locked
Successfully pulled 120/120 repositories
2022-12-07 09:33.22 ---> saved as "b2ba259e17a2eba5172f2ae1814c149e98e4521f2e73ab63e54dd3f80d27c325"

/src/: (env DUNE_CACHE enabled)

/src/: (env DUNE_CACHE_TRANSPORT direct)

/src/: (run (cache (dune-build-cache (target /home/opam/.cache/dune)))
            (network host)
            (shell "opam exec -- make build"))
dune build
100000+0 records in
100000+0 records out
51200000 bytes (51 MB, 49 MiB) copied, 0.276937 s, 185 MB/s
100000+0 records in
100000+0 records out
51200000 bytes (51 MB, 49 MiB) copied, 0.26728 s, 192 MB/s
make[1]: Entering directory '/src/_build/solo5/duniverse/mirage-solo5/lib/bindings'
ocamlfind -toolchain solo5 ocamlopt    -c -o clock_stubs.o clock_stubs.c
ocamlfind -toolchain solo5 ocamlopt    -c -o mm_stubs.o mm_stubs.c
ocamlfind -toolchain solo5 ocamlopt    -c -o main.o main.c
ar r libmirage-solo5_bindings.a clock_stubs.o mm_stubs.o main.o
ar: creating libmirage-solo5_bindings.a
make[1]: Leaving directory '/src/_build/solo5/duniverse/mirage-solo5/lib/bindings'
Generating static_t.ml
Generating static_t.mli
Generating static_t.ml
Generating static_t.mli
Generating static_certificates.ml
Generating static_certificates.mli
Generating static_keys.ml
Generating static_keys.mli
Generating static_htdocs.ml
Generating static_htdocs.mli
Generating static_keys.ml
Generating static_keys.mli
Generating static_certificates.ml
Generating static_certificates.mli
Generating static_htdocs.ml
Generating static_htdocs.mli
Generating static_tls.ml
Generating static_tls.mli
Generating static_tls.ml
Generating static_tls.mli
Creating menhirLib.ml...
Creating menhirLib.mli...
Read 101 sample input sentences and 101 error messages.
Read 101 sample input sentences and 48 error messages.
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 194 states.
The grammar is not SLR(1) -- 5 states have a conflict.
The construction mode is no-pager.
Built an LR(1) automaton with 298 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 40 states.
Priority played a role in 0 of these states.
152 out of 298 states have a default reduction.
102 out of 298 states are represented.
44 out of 96 symbols keep track of their start position.
41 out of 96 symbols keep track of their end position.
264 specialized copies of 64 functions have been created.
The StackLang code contains 5161 instructions in 241 blocks.
The StackLang code comprises 5 mutually recursive groups.
Read 101 sample input sentences and 48 error messages.
configure: WARNING: using cross tools not prefixed with host triplet
configure: WARNING: cannot check for properly working vsnprintf when cross compiling, will assume it's ok
binary ocaml: found in /home/opam/.opam/4.13/bin
binary ocamlc: found in /home/opam/.opam/4.13/bin
binary ocamldep: found in /home/opam/.opam/4.13/bin
binary ocamlmklib: found in /home/opam/.opam/4.13/bin
binary ocamldoc: found in /home/opam/.opam/4.13/bin
binary gcc: found in /usr/bin
binary ocamlopt: found in /home/opam/.opam/4.13/bin
checking compilation with gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -I/src/_build/default/duniverse/Zarith/../../../install/default/lib/gmp/: working
include caml/mlvalues.h: found
library dynlink.cmxa: found
binary ocamlfind: found in /home/opam/.opam/4.13/bin
OCaml's word size is 64
binary uname: found in /bin
./configure: unable to guess system type

This script, last modified 2010-09-24, has failed to recognize
the operating system you are using. It is advised that you
download the most up to date version of the config scripts from

  http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD
and
  http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;hb=HEAD

If the version you run (./configure) is already up to date, please
send the following data and any information you think might be
pertinent to <config-patches@gnu.org> in order to provide the needed
information to handle your system.

config.guess timestamp = 2010-09-24

uname -m = aarch64
uname -r = 5.15.0-53-generic
uname -s = Linux
uname -v = #59-Ubuntu SMP Mon Oct 17 18:55:29 UTC 2022

/usr/bin/uname -p = 
/bin/uname -X     = 

hostinfo               = 
/bin/universe          = 
/usr/bin/arch -k       = 
/bin/arch              = 
/usr/bin/oslevel       = 
/usr/convex/getsysinfo = 

UNAME_MACHINE = aarch64
UNAME_RELEASE = 5.15.0-53-generic
UNAME_SYSTEM  = Linux
UNAME_VERSION = #59-Ubuntu SMP Mon Oct 17 18:55:29 UTC 2022
include gmp.h: found
library gmp: found
OCaml supports -bin-annot to produce documentation

detected configuration:

  native-code:          yes
  dynamic linking:      yes
  defines:              -DHAS_GMP 
  libraries:            -L/src/_build/default/duniverse/Zarith/../../../install/default/lib/gmp/ -lgmp
  C options:            -I/src/_build/default/duniverse/Zarith/../../../install/default/lib/gmp/
  installation path:    /home/opam/.opam/4.13/lib
  installation method   findlib

configuration successful!
now type "make" to build
then type "make install" or "sudo make install" to install
binary ocaml: found in /home/opam/.opam/4.13/bin
binary ocamlc: found in /home/opam/.opam/4.13/bin
binary ocamldep: found in /home/opam/.opam/4.13/bin
binary ocamlmklib: found in /home/opam/.opam/4.13/bin
binary ocamldoc: found in /home/opam/.opam/4.13/bin
binary aarch64-solo5-none-static-cc: found in /home/opam/.opam/4.13/bin
binary ocamlopt: found in /home/opam/.opam/4.13/bin
checking compilation with aarch64-solo5-none-static-cc -I/home/opam/.opam/4.13/solo5-sysroot/include/nolibc/ -include _solo5/overrides.h -O2 -fno-strict-aliasing -fwrapv -I/src/_build/solo5/duniverse/Zarith/../../../install/solo5/lib/gmp/: working
include caml/mlvalues.h: found
library dynlink.cmxa: found
binary ocamlfind: found in /home/opam/.opam/4.13/bin
OCaml's word size is 64
binary uname: found in /bin
./configure: unable to guess system type

This script, last modified 2010-09-24, has failed to recognize
the operating system you are using. It is advised that you
download the most up to date version of the config scripts from

  http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD
and
  http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;hb=HEAD

If the version you run (./configure) is already up to date, please
send the following data and any information you think might be
pertinent to <config-patches@gnu.org> in order to provide the needed
information to handle your system.

config.guess timestamp = 2010-09-24

uname -m = aarch64
uname -r = 5.15.0-53-generic
uname -s = Linux
uname -v = #59-Ubuntu SMP Mon Oct 17 18:55:29 UTC 2022

/usr/bin/uname -p = 
/bin/uname -X     = 

hostinfo               = 
/bin/universe          = 
/usr/bin/arch -k       = 
/bin/arch              = 
/usr/bin/oslevel       = 
/usr/convex/getsysinfo = 

UNAME_MACHINE = aarch64
UNAME_RELEASE = 5.15.0-53-generic
UNAME_SYSTEM  = Linux
UNAME_VERSION = #59-Ubuntu SMP Mon Oct 17 18:55:29 UTC 2022
include gmp.h: found
library gmp: found
OCaml supports -bin-annot to produce documentation

detected configuration:

  native-code:          yes
  dynamic linking:      yes
  defines:              -DHAS_GMP 
  libraries:            -L/src/_build/solo5/duniverse/Zarith/../../../install/solo5/lib/gmp/ -lgmp
  C options:            -I/src/_build/solo5/duniverse/Zarith/../../../install/solo5/lib/gmp/
  installation path:    /home/opam/.opam/4.13/lib
  installation method   findlib

configuration successful!
now type "make" to build
then type "make install" or "sudo make install" to install
extract-from-certdata: [WARNING] Untrusted certificate "Explicitly Distrust DigiNotar Root CA" (serial 02100fffffffffffffffffffffffffffffff)
extract-from-certdata: [WARNING] Untrusted certificate "Explicitly Distrust DigiNotar Root CA" (serial 02100fffffffffffffffffffffffffffffff)
2022-12-07 09:34.14 ---> saved as "c196ab39850e17a2ff85d7080ecc395b4a887453b41218df18bcdad3106e85dc"
Job succeeded

2022-12-07 09:34.14: Job succeeded