On This Page
package memcad
memcad 1.1.0
Error log
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 50 packages
- install apron v0.9.15
- install base-bytes base
- install bdd 0.3
- install bigarray-compat 1.1.0
- install camlidl 1.12
- install clangml 4.8.0
- install clangml-transforms 0.26
- install conf-autoconf 0.2
- install conf-bash 1
- install conf-findutils 1
- install conf-gmp-paths 1
- install conf-graphviz 0.1
- install conf-libclang 15
- install conf-mpfr-paths 1
- install conf-ncurses 1
- install conf-perl 2
- install conf-pkg-config 4
- install conf-which 1
- install conf-zlib 1
- install cppo 1.8.0
- install csexp 1.5.2
- install dolog 4.0.0
- install dune-configurator 3.17.2
- install ez-conf-lib 2
- install fix 20230505
- install memcad 1.1.0
- install metapp 0.4.4
- install metaquot 0.5.2
- install mlbdd 0.7.3
- install mlgmpidl 1.3.0
- install obuild 0.1.11
- install ocaml-compiler-libs v0.12.4
- install ocaml-migrate-parsetree 2.4.0 (deprecated)
- install ocamlbuild 0.15.0
- install ounit 2.2.7
- install ounit2 2.2.7
- install parmap 1.2.5
- install ppx_derivers 1.2.1
- install ppxlib 0.35.0
- install qcheck 0.23
- install qcheck-core 0.23
- install qcheck-ounit 0.23
- install qtest 2.11.2
- install refl 0.4.1
- install seq base
- install setr 0.1.1
- install sexplib0 v0.17.0
- install stdcompat 19
- install stdlib-shims 0.3.0
- install traverse 0.3.0
The following system packages will first need to be installed:
autoconf graphviz libclang-14-dev libclang-cpp-dev libclang-cpp14-dev libclang-dev libgmp-dev libmpfr-dev llvm-14-dev llvm-dev ncurses-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" "autoconf" "graphviz" "libclang-14-dev" "libclang-cpp-dev" "libclang-cpp14-dev" "libclang-dev" "libgmp-dev" "libmpfr-dev" "llvm-14-dev" "llvm-dev" "ncurses-dev" "pkg-config" "zlib1g-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libpipeline1: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 .../libpipeline1_1.5.7-1_amd64.deb ...
- Unpacking libpipeline1:amd64 (1.5.7-1) ...
- Selecting previously unselected package binfmt-support.
- Preparing to unpack .../binfmt-support_2.2.2-2_amd64.deb ...
- Unpacking binfmt-support (2.2.2-2) ...
- Selecting previously unselected package libpython3.11-minimal:amd64.
- Preparing to unpack .../libpython3.11-minimal_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking libpython3.11-minimal:amd64 (3.11.2-6+deb12u5) ...
- Selecting previously unselected package python3.11-minimal.
- Preparing to unpack .../python3.11-minimal_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking python3.11-minimal (3.11.2-6+deb12u5) ...
- Setting up libpython3.11-minimal:amd64 (3.11.2-6+deb12u5) ...
- Setting up python3.11-minimal (3.11.2-6+deb12u5) ...
- Selecting previously unselected package python3-minimal.
- (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 ... 19074 files and directories currently installed.)
- Preparing to unpack .../python3-minimal_3.11.2-1+b1_amd64.deb ...
- Unpacking python3-minimal (3.11.2-1+b1) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../media-types_10.0.0_all.deb ...
- Unpacking media-types (10.0.0) ...
- Selecting previously unselected package libpython3.11-stdlib:amd64.
- Preparing to unpack .../libpython3.11-stdlib_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking libpython3.11-stdlib:amd64 (3.11.2-6+deb12u5) ...
- Selecting previously unselected package python3.11.
- Preparing to unpack .../python3.11_3.11.2-6+deb12u5_amd64.deb ...
- Unpacking python3.11 (3.11.2-6+deb12u5) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../libpython3-stdlib_3.11.2-1+b1_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.11.2-1+b1) ...
- Setting up python3-minimal (3.11.2-1+b1) ...
- Selecting previously unselected package python3.
- (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 ... 19484 files and directories currently installed.)
- Preparing to unpack .../00-python3_3.11.2-1+b1_amd64.deb ...
- Unpacking python3 (3.11.2-1+b1) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../01-m4_1.4.19-3_amd64.deb ...
- Unpacking m4 (1.4.19-3) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../02-autoconf_2.71-3_all.deb ...
- Unpacking autoconf (2.71-3) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../03-autotools-dev_20220109.1_all.deb ...
- Unpacking autotools-dev (20220109.1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../04-automake_1%3a1.16.5-1.3_all.deb ...
- Unpacking automake (1:1.16.5-1.3) ...
- Selecting previously unselected package fontconfig.
- Preparing to unpack .../05-fontconfig_2.14.1-4_amd64.deb ...
- Unpacking fontconfig (2.14.1-4) ...
- Selecting previously unselected package fonts-liberation2.
- Preparing to unpack .../06-fonts-liberation2_2.1.5-1_all.deb ...
- Unpacking fonts-liberation2 (2.1.5-1) ...
- Selecting previously unselected package libann0.
- Preparing to unpack .../07-libann0_1.1.2+doc-9+b1_amd64.deb ...
- Unpacking libann0 (1.1.2+doc-9+b1) ...
- Selecting previously unselected package libcdt5:amd64.
- Preparing to unpack .../08-libcdt5_2.42.2-7+deb12u1_amd64.deb ...
- Unpacking libcdt5:amd64 (2.42.2-7+deb12u1) ...
- Selecting previously unselected package libcgraph6:amd64.
- Preparing to unpack .../09-libcgraph6_2.42.2-7+deb12u1_amd64.deb ...
- Unpacking libcgraph6:amd64 (2.42.2-7+deb12u1) ...
- Selecting previously unselected package libglib2.0-0:amd64.
- Preparing to unpack .../10-libglib2.0-0_2.74.6-2+deb12u5_amd64.deb ...
- Unpacking libglib2.0-0:amd64 (2.74.6-2+deb12u5) ...
- Selecting previously unselected package libgts-0.7-5:amd64.
- Preparing to unpack .../11-libgts-0.7-5_0.7.6+darcs121130-5+b1_amd64.deb ...
- Unpacking libgts-0.7-5:amd64 (0.7.6+darcs121130-5+b1) ...
- Selecting previously unselected package libpixman-1-0:amd64.
- Preparing to unpack .../12-libpixman-1-0_0.42.2-1_amd64.deb ...
- Unpacking libpixman-1-0:amd64 (0.42.2-1) ...
- Selecting previously unselected package libxcb-render0:amd64.
- Preparing to unpack .../13-libxcb-render0_1.15-1_amd64.deb ...
- Unpacking libxcb-render0:amd64 (1.15-1) ...
- Selecting previously unselected package libxcb-shm0:amd64.
- Preparing to unpack .../14-libxcb-shm0_1.15-1_amd64.deb ...
- Unpacking libxcb-shm0:amd64 (1.15-1) ...
- Selecting previously unselected package libxrender1:amd64.
- Preparing to unpack .../15-libxrender1_1%3a0.9.10-1.1_amd64.deb ...
- Unpacking libxrender1:amd64 (1:0.9.10-1.1) ...
- Selecting previously unselected package libcairo2:amd64.
- Preparing to unpack .../16-libcairo2_1.16.0-7_amd64.deb ...
- Unpacking libcairo2:amd64 (1.16.0-7) ...
- Selecting previously unselected package libltdl7:amd64.
- Preparing to unpack .../17-libltdl7_2.4.7-7~deb12u1_amd64.deb ...
- Unpacking libltdl7:amd64 (2.4.7-7~deb12u1) ...
- Selecting previously unselected package libfribidi0:amd64.
- Preparing to unpack .../18-libfribidi0_1.0.8-2.1_amd64.deb ...
- Unpacking libfribidi0:amd64 (1.0.8-2.1) ...
- Selecting previously unselected package libgraphite2-3:amd64.
- Preparing to unpack .../19-libgraphite2-3_1.3.14-1_amd64.deb ...
- Unpacking libgraphite2-3:amd64 (1.3.14-1) ...
- Selecting previously unselected package libharfbuzz0b:amd64.
- Preparing to unpack .../20-libharfbuzz0b_6.0.0+dfsg-3_amd64.deb ...
- Unpacking libharfbuzz0b:amd64 (6.0.0+dfsg-3) ...
- Selecting previously unselected package libthai-data.
- Preparing to unpack .../21-libthai-data_0.1.29-1_all.deb ...
- Unpacking libthai-data (0.1.29-1) ...
- Selecting previously unselected package libdatrie1:amd64.
- Preparing to unpack .../22-libdatrie1_0.2.13-2+b1_amd64.deb ...
- Unpacking libdatrie1:amd64 (0.2.13-2+b1) ...
- Selecting previously unselected package libthai0:amd64.
- Preparing to unpack .../23-libthai0_0.1.29-1_amd64.deb ...
- Unpacking libthai0:amd64 (0.1.29-1) ...
- Selecting previously unselected package libpango-1.0-0:amd64.
- Preparing to unpack .../24-libpango-1.0-0_1.50.12+ds-1_amd64.deb ...
- Unpacking libpango-1.0-0:amd64 (1.50.12+ds-1) ...
- Selecting previously unselected package libpangoft2-1.0-0:amd64.
- Preparing to unpack .../25-libpangoft2-1.0-0_1.50.12+ds-1_amd64.deb ...
- Unpacking libpangoft2-1.0-0:amd64 (1.50.12+ds-1) ...
- Selecting previously unselected package libpangocairo-1.0-0:amd64.
- Preparing to unpack .../26-libpangocairo-1.0-0_1.50.12+ds-1_amd64.deb ...
- Unpacking libpangocairo-1.0-0:amd64 (1.50.12+ds-1) ...
- Selecting previously unselected package libpathplan4:amd64.
- Preparing to unpack .../27-libpathplan4_2.42.2-7+deb12u1_amd64.deb ...
- Unpacking libpathplan4:amd64 (2.42.2-7+deb12u1) ...
- Selecting previously unselected package libgvc6.
- Preparing to unpack .../28-libgvc6_2.42.2-7+deb12u1_amd64.deb ...
- Unpacking libgvc6 (2.42.2-7+deb12u1) ...
- Selecting previously unselected package libgvpr2:amd64.
- Preparing to unpack .../29-libgvpr2_2.42.2-7+deb12u1_amd64.deb ...
- Unpacking libgvpr2:amd64 (2.42.2-7+deb12u1) ...
- Selecting previously unselected package liblab-gamut1:amd64.
- Preparing to unpack .../30-liblab-gamut1_2.42.2-7+deb12u1_amd64.deb ...
- Unpacking liblab-gamut1:amd64 (2.42.2-7+deb12u1) ...
- Selecting previously unselected package x11-common.
- Preparing to unpack .../31-x11-common_1%3a7.7+23_all.deb ...
- Unpacking x11-common (1:7.7+23) ...
- Selecting previously unselected package libice6:amd64.
- Preparing to unpack .../32-libice6_2%3a1.0.10-1_amd64.deb ...
- Unpacking libice6:amd64 (2:1.0.10-1) ...
- Selecting previously unselected package libsm6:amd64.
- Preparing to unpack .../33-libsm6_2%3a1.2.3-1_amd64.deb ...
- Unpacking libsm6:amd64 (2:1.2.3-1) ...
- Selecting previously unselected package libxt6:amd64.
- Preparing to unpack .../34-libxt6_1%3a1.2.1-1.1_amd64.deb ...
- Unpacking libxt6:amd64 (1:1.2.1-1.1) ...
- Selecting previously unselected package libxmu6:amd64.
- Preparing to unpack .../35-libxmu6_2%3a1.1.3-3_amd64.deb ...
- Unpacking libxmu6:amd64 (2:1.1.3-3) ...
- Selecting previously unselected package libxaw7:amd64.
- Preparing to unpack .../36-libxaw7_2%3a1.0.14-1_amd64.deb ...
- Unpacking libxaw7:amd64 (2:1.0.14-1) ...
- Selecting previously unselected package graphviz.
- Preparing to unpack .../37-graphviz_2.42.2-7+deb12u1_amd64.deb ...
- Unpacking graphviz (2.42.2-7+deb12u1) ...
- Selecting previously unselected package libicu72:amd64.
- Preparing to unpack .../38-libicu72_72.1-3_amd64.deb ...
- Unpacking libicu72:amd64 (72.1-3) ...
- Selecting previously unselected package icu-devtools.
- Preparing to unpack .../39-icu-devtools_72.1-3_amd64.deb ...
- Unpacking icu-devtools (72.1-3) ...
- Selecting previously unselected package libc6-i386.
- Preparing to unpack .../40-libc6-i386_2.36-9+deb12u9_amd64.deb ...
- Unpacking libc6-i386 (2.36-9+deb12u9) ...
- Selecting previously unselected package lib32gcc-s1.
- Preparing to unpack .../41-lib32gcc-s1_12.2.0-14_amd64.deb ...
- Unpacking lib32gcc-s1 (12.2.0-14) ...
- Selecting previously unselected package lib32stdc++6.
- Preparing to unpack .../42-lib32stdc++6_12.2.0-14_amd64.deb ...
- Unpacking lib32stdc++6 (12.2.0-14) ...
- Selecting previously unselected package libgc1:amd64.
- Preparing to unpack .../43-libgc1_1%3a8.2.2-3_amd64.deb ...
- Unpacking libgc1:amd64 (1:8.2.2-3) ...
- Selecting previously unselected package libobjc4:amd64.
- Preparing to unpack .../44-libobjc4_12.2.0-14_amd64.deb ...
- Unpacking libobjc4:amd64 (12.2.0-14) ...
- Selecting previously unselected package libobjc-12-dev:amd64.
- Preparing to unpack .../45-libobjc-12-dev_12.2.0-14_amd64.deb ...
- Unpacking libobjc-12-dev:amd64 (12.2.0-14) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../46-libxml2_2.9.14+dfsg-1.3~deb12u1_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Selecting previously unselected package libz3-4:amd64.
- Preparing to unpack .../47-libz3-4_4.8.12-3.1_amd64.deb ...
- Unpacking libz3-4:amd64 (4.8.12-3.1) ...
- Selecting previously unselected package libllvm14:amd64.
- Preparing to unpack .../48-libllvm14_1%3a14.0.6-12_amd64.deb ...
- Unpacking libllvm14:amd64 (1:14.0.6-12) ...
- Selecting previously unselected package libclang1-14.
- Preparing to unpack .../49-libclang1-14_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang1-14 (1:14.0.6-12) ...
- Selecting previously unselected package libclang-common-14-dev.
- Preparing to unpack .../50-libclang-common-14-dev_1%3a14.0.6-12_all.deb ...
- Unpacking libclang-common-14-dev (1:14.0.6-12) ...
- Selecting previously unselected package libclang-14-dev.
- Preparing to unpack .../51-libclang-14-dev_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang-14-dev (1:14.0.6-12) ...
- Selecting previously unselected package libclang-cpp14.
- Preparing to unpack .../52-libclang-cpp14_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang-cpp14 (1:14.0.6-12) ...
- Selecting previously unselected package libclang-cpp14-dev.
- Preparing to unpack .../53-libclang-cpp14-dev_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang-cpp14-dev (1:14.0.6-12) ...
- Selecting previously unselected package libclang-cpp-dev.
- Preparing to unpack .../54-libclang-cpp-dev_1%3a14.0-55.7~deb12u1_amd64.deb ...
- Unpacking libclang-cpp-dev (1:14.0-55.7~deb12u1) ...
- Selecting previously unselected package libclang-dev.
- Preparing to unpack .../55-libclang-dev_1%3a14.0-55.7~deb12u1_amd64.deb ...
- Unpacking libclang-dev (1:14.0-55.7~deb12u1) ...
- Selecting previously unselected package libclang-rt-14-dev:amd64.
- Preparing to unpack .../56-libclang-rt-14-dev_1%3a14.0.6-12_amd64.deb ...
- Unpacking libclang-rt-14-dev:amd64 (1:14.0.6-12) ...
- Selecting previously unselected package libnspr4:amd64.
- Preparing to unpack .../57-libnspr4_2%3a4.35-1_amd64.deb ...
- Unpacking libnspr4:amd64 (2:4.35-1) ...
- Selecting previously unselected package libnss3:amd64.
- Preparing to unpack .../58-libnss3_2%3a3.87.1-1+deb12u1_amd64.deb ...
- Unpacking libnss3:amd64 (2:3.87.1-1+deb12u1) ...
- Selecting previously unselected package nss-plugin-pem:amd64.
- Preparing to unpack .../59-nss-plugin-pem_1.0.8+1-1_amd64.deb ...
- Unpacking nss-plugin-pem:amd64 (1.0.8+1-1) ...
- Selecting previously unselected package libcurl3-nss:amd64.
- Preparing to unpack .../60-libcurl3-nss_7.88.1-10+deb12u8_amd64.deb ...
- Unpacking libcurl3-nss:amd64 (7.88.1-10+deb12u8) ...
- Selecting previously unselected package libffi-dev:amd64.
- Preparing to unpack .../61-libffi-dev_3.4.4-1_amd64.deb ...
- Unpacking libffi-dev:amd64 (3.4.4-1) ...
- Selecting previously unselected package libglib2.0-data.
- Preparing to unpack .../62-libglib2.0-data_2.74.6-2+deb12u5_all.deb ...
- Unpacking libglib2.0-data (2.74.6-2+deb12u5) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../63-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 .../64-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 libgts-bin.
- Preparing to unpack .../65-libgts-bin_0.7.6+darcs121130-5+b1_amd64.deb ...
- Unpacking libgts-bin (0.7.6+darcs121130-5+b1) ...
- Selecting previously unselected package libicu-dev:amd64.
- Preparing to unpack .../66-libicu-dev_72.1-3_amd64.deb ...
- Unpacking libicu-dev:amd64 (72.1-3) ...
- Selecting previously unselected package libmpfr-dev:amd64.
- Preparing to unpack .../67-libmpfr-dev_4.2.0-1_amd64.deb ...
- Unpacking libmpfr-dev:amd64 (4.2.0-1) ...
- Selecting previously unselected package libncurses6:amd64.
- Preparing to unpack .../68-libncurses6_6.4-4_amd64.deb ...
- Unpacking libncurses6:amd64 (6.4-4) ...
- Selecting previously unselected package libncurses-dev:amd64.
- Preparing to unpack .../69-libncurses-dev_6.4-4_amd64.deb ...
- Unpacking libncurses-dev:amd64 (6.4-4) ...
- Selecting previously unselected package libpfm4:amd64.
- Preparing to unpack .../70-libpfm4_4.13.0-1_amd64.deb ...
- Unpacking libpfm4:amd64 (4.13.0-1) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../71-libpkgconf3_1.8.1-1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1) ...
- Selecting previously unselected package libxml2-dev:amd64.
- Preparing to unpack .../72-libxml2-dev_2.9.14+dfsg-1.3~deb12u1_amd64.deb ...
- Unpacking libxml2-dev:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Selecting previously unselected package libyaml-0-2:amd64.
- Preparing to unpack .../73-libyaml-0-2_0.2.5-1_amd64.deb ...
- Unpacking libyaml-0-2:amd64 (0.2.5-1) ...
- Selecting previously unselected package libz3-dev:amd64.
- Preparing to unpack .../74-libz3-dev_4.8.12-3.1_amd64.deb ...
- Unpacking libz3-dev:amd64 (4.8.12-3.1) ...
- Selecting previously unselected package llvm-14-runtime.
- Preparing to unpack .../75-llvm-14-runtime_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-runtime (1:14.0.6-12) ...
- Selecting previously unselected package llvm-runtime:amd64.
- Preparing to unpack .../76-llvm-runtime_1%3a14.0-55.7~deb12u1_amd64.deb ...
- Unpacking llvm-runtime:amd64 (1:14.0-55.7~deb12u1) ...
- Selecting previously unselected package llvm-14-linker-tools.
- Preparing to unpack .../77-llvm-14-linker-tools_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-linker-tools (1:14.0.6-12) ...
- Selecting previously unselected package llvm-14.
- Preparing to unpack .../78-llvm-14_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14 (1:14.0.6-12) ...
- Selecting previously unselected package llvm.
- Preparing to unpack .../79-llvm_1%3a14.0-55.7~deb12u1_amd64.deb ...
- Unpacking llvm (1:14.0-55.7~deb12u1) ...
- Selecting previously unselected package python3-pkg-resources.
- Preparing to unpack .../80-python3-pkg-resources_66.1.1-1+deb12u1_all.deb ...
- Unpacking python3-pkg-resources (66.1.1-1+deb12u1) ...
- Selecting previously unselected package python3-pygments.
- Preparing to unpack .../81-python3-pygments_2.14.0+dfsg-1_all.deb ...
- Unpacking python3-pygments (2.14.0+dfsg-1) ...
- Selecting previously unselected package python3-yaml.
- Preparing to unpack .../82-python3-yaml_6.0-3+b2_amd64.deb ...
- Unpacking python3-yaml (6.0-3+b2) ...
- Selecting previously unselected package llvm-14-tools.
- Preparing to unpack .../83-llvm-14-tools_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-tools (1:14.0.6-12) ...
- Selecting previously unselected package llvm-14-dev.
- Preparing to unpack .../84-llvm-14-dev_1%3a14.0.6-12_amd64.deb ...
- Unpacking llvm-14-dev (1:14.0.6-12) ...
- Selecting previously unselected package llvm-dev.
- Preparing to unpack .../85-llvm-dev_1%3a14.0-55.7~deb12u1_amd64.deb ...
- Unpacking llvm-dev (1:14.0-55.7~deb12u1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../86-pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../87-pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../88-pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Selecting previously unselected package shared-mime-info.
- Preparing to unpack .../89-shared-mime-info_2.2-1_amd64.deb ...
- Unpacking shared-mime-info (2.2-1) ...
- Selecting previously unselected package xdg-user-dirs.
- Preparing to unpack .../90-xdg-user-dirs_0.18-1_amd64.deb ...
- Unpacking xdg-user-dirs (0.18-1) ...
- Selecting previously unselected package zlib1g-dev:amd64.
- Preparing to unpack .../91-zlib1g-dev_1%3a1.2.13.dfsg-1_amd64.deb ...
- Unpacking zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ...
- Setting up media-types (10.0.0) ...
- Setting up libpipeline1:amd64 (1.5.7-1) ...
- Setting up libgraphite2-3:amd64 (1.3.14-1) ...
- Setting up libpixman-1-0:amd64 (0.42.2-1) ...
- Setting up fontconfig (2.14.1-4) ...
- Regenerating fonts cache...
- done.
- Setting up libicu72:amd64 (72.1-3) ...
- Setting up libxrender1:amd64 (1:0.9.10-1.1) ...
- Setting up libdatrie1:amd64 (0.2.13-2+b1) ...
- Setting up xdg-user-dirs (0.18-1) ...
- Setting up libxcb-render0:amd64 (1.15-1) ...
- Setting up libyaml-0-2:amd64 (0.2.5-1) ...
- Setting up libglib2.0-0:amd64 (2.74.6-2+deb12u5) ...
- No schema files found: doing nothing.
- Setting up libpython3.11-stdlib:amd64 (3.11.2-6+deb12u5) ...
- Setting up liblab-gamut1:amd64 (2.42.2-7+deb12u1) ...
- Setting up x11-common (1:7.7+23) ...
- invoke-rc.d: could not determine current runlevel
- invoke-rc.d: policy-rc.d denied execution of restart.
- Setting up m4 (1.4.19-3) ...
- Setting up libxcb-shm0:amd64 (1.15-1) ...
- Setting up libffi-dev:amd64 (3.4.4-1) ...
- Setting up libcairo2:amd64 (1.16.0-7) ...
- Setting up libgts-0.7-5:amd64 (0.7.6+darcs121130-5+b1) ...
- Setting up autotools-dev (20220109.1) ...
- Setting up libz3-4:amd64 (4.8.12-3.1) ...
- Setting up libglib2.0-data (2.74.6-2+deb12u5) ...
- Setting up libpkgconf3:amd64 (1.8.1-1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libpfm4:amd64 (4.13.0-1) ...
- Setting up libnspr4:amd64 (2:4.35-1) ...
- Setting up fonts-liberation2 (2.1.5-1) ...
- Setting up libpathplan4:amd64 (2.42.2-7+deb12u1) ...
- Setting up libann0 (1.1.2+doc-9+b1) ...
- Setting up libncurses6:amd64 (6.4-4) ...
- Setting up libfribidi0:amd64 (1.0.8-2.1) ...
- Setting up binfmt-support (2.2.2-2) ...
- invoke-rc.d: could not determine current runlevel
- invoke-rc.d: policy-rc.d denied execution of start.
- Setting up icu-devtools (72.1-3) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up libgc1:amd64 (1:8.2.2-3) ...
- Setting up libltdl7:amd64 (2.4.7-7~deb12u1) ...
- Setting up autoconf (2.71-3) ...
- Setting up zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ...
- Setting up libc6-i386 (2.36-9+deb12u9) ...
- Setting up libharfbuzz0b:amd64 (6.0.0+dfsg-3) ...
- Setting up libthai-data (0.1.29-1) ...
- Setting up libcdt5:amd64 (2.42.2-7+deb12u1) ...
- Setting up libcgraph6:amd64 (2.42.2-7+deb12u1) ...
- Setting up libicu-dev:amd64 (72.1-3) ...
- Setting up libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Setting up libpython3-stdlib:amd64 (3.11.2-1+b1) ...
- Setting up automake (1:1.16.5-1.3) ...
- update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
- Setting up libgts-bin (0.7.6+darcs121130-5+b1) ...
- Setting up libz3-dev:amd64 (4.8.12-3.1) ...
- Setting up python3.11 (3.11.2-6+deb12u5) ...
- Setting up libice6:amd64 (2:1.0.10-1) ...
- Setting up libncurses-dev:amd64 (6.4-4) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libobjc4:amd64 (12.2.0-14) ...
- Setting up python3 (3.11.2-1+b1) ...
- running python rtupdate hooks for python3.11...
- running python post-rtupdate hooks for python3.11...
- Setting up libnss3:amd64 (2:3.87.1-1+deb12u1) ...
- Setting up libmpfr-dev:amd64 (4.2.0-1) ...
- Setting up pkgconf:amd64 (1.8.1-1) ...
- Setting up libthai0:amd64 (0.1.29-1) ...
- Setting up libxml2-dev:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Setting up lib32gcc-s1 (12.2.0-14) ...
- Setting up lib32stdc++6 (12.2.0-14) ...
- Setting up shared-mime-info (2.2-1) ...
- Setting up pkg-config:amd64 (1.8.1-1) ...
- Setting up libllvm14:amd64 (1:14.0.6-12) ...
- Setting up libobjc-12-dev:amd64 (12.2.0-14) ...
- Setting up libgvpr2:amd64 (2.42.2-7+deb12u1) ...
- Setting up llvm-14-linker-tools (1:14.0.6-12) ...
- Setting up libsm6:amd64 (2:1.2.3-1) ...
- Setting up python3-pkg-resources (66.1.1-1+deb12u1) ...
- Setting up libpango-1.0-0:amd64 (1.50.12+ds-1) ...
- Setting up nss-plugin-pem:amd64 (1.0.8+1-1) ...
- Setting up libclang1-14 (1:14.0.6-12) ...
- Setting up python3-yaml (6.0-3+b2) ...
- Setting up python3-pygments (2.14.0+dfsg-1) ...
- Setting up llvm-14-runtime (1:14.0.6-12) ...
- Setting up libclang-rt-14-dev:amd64 (1:14.0.6-12) ...
- Setting up llvm-runtime:amd64 (1:14.0-55.7~deb12u1) ...
- Setting up libclang-common-14-dev (1:14.0.6-12) ...
- Setting up libclang-cpp14 (1:14.0.6-12) ...
- Setting up libxt6:amd64 (1:1.2.1-1.1) ...
- Setting up libcurl3-nss:amd64 (7.88.1-10+deb12u8) ...
- Setting up libclang-14-dev (1:14.0.6-12) ...
- Setting up libpangoft2-1.0-0:amd64 (1.50.12+ds-1) ...
- Setting up libclang-cpp14-dev (1:14.0.6-12) ...
- Setting up libpangocairo-1.0-0:amd64 (1.50.12+ds-1) ...
- Setting up llvm-14 (1:14.0.6-12) ...
- Setting up llvm-14-tools (1:14.0.6-12) ...
- Setting up libxmu6:amd64 (2:1.1.3-3) ...
- Setting up libclang-dev (1:14.0-55.7~deb12u1) ...
- Setting up libxaw7:amd64 (2:1.0.14-1) ...
- Setting up libclang-cpp-dev (1:14.0-55.7~deb12u1) ...
- Setting up libgvc6 (2.42.2-7+deb12u1) ...
- Setting up llvm (1:14.0-55.7~deb12u1) ...
- Setting up llvm-14-dev (1:14.0.6-12) ...
- Setting up llvm-dev (1:14.0-55.7~deb12u1) ...
- Setting up graphviz (2.42.2-7+deb12u1) ...
- Processing triggers for libc-bin (2.36-9+deb12u9) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bytes.base
-> retrieved bigarray-compat.1.1.0 (cached)
-> retrieved camlidl.1.12 (cached)
-> retrieved apron.v0.9.15 (cached)
[ERROR] Failed to get sources of bdd.0.3: Bad checksum
-> retrieved conf-gmp-paths.1 (cached)
-> retrieved conf-libclang.15 (cached)
-> retrieved conf-mpfr-paths.1 (cached)
-> installed conf-bash.1
-> retrieved cppo.1.8.0 (cached)
-> installed conf-autoconf.0.2
-> installed bigarray-compat.1.1.0
-> installed conf-findutils.1
-> installed conf-perl.2
-> installed conf-pkg-config.4
-> installed conf-which.1
-> retrieved csexp.1.5.2 (cached)
-> installed conf-ncurses.1
-> installed conf-zlib.1
-> installed conf-graphviz.0.1
-> retrieved dolog.4.0.0 (cached)
-> retrieved clangml-transforms.0.26 (https://gitlab.inria.fr/memcad/clangml-transforms/-/archive/v0.26/clangml-transforms-v0.26.tar.gz)
-> retrieved ez-conf-lib.2 (cached)
-> retrieved fix.20230505 (cached)
-> installed ez-conf-lib.2
-> installed conf-gmp-paths.1
-> installed csexp.1.5.2
-> installed dolog.4.0.0
-> installed conf-libclang.15
-> installed conf-mpfr-paths.1
-> retrieved memcad.1.1.0 (https://gitlab.inria.fr/memcad/memcad/-/archive/v1.1.0/memcad-v1.1.0.tar.gz)
-> installed fix.20230505
-> retrieved dune-configurator.3.17.2 (cached)
-> installed camlidl.1.12
-> installed cppo.1.8.0
-> retrieved clangml.4.8.0 (https://github.com/thierry-martinez/clangml/releases/download/v4.8.0/clangml.4.8.0.tar.gz)
-> retrieved metapp.0.4.4 (cached)
-> retrieved metaquot.0.5.2 (cached)
-> retrieved mlbdd.0.7.3 (cached)
-> retrieved mlgmpidl.1.3.0 (cached)
-> retrieved obuild.0.1.11 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved ocaml-migrate-parsetree.2.4.0 (cached)
-> retrieved ocamlbuild.0.15.0 (cached)
-> retrieved ounit.2.2.7, ounit2.2.2.7 (cached)
-> retrieved parmap.1.2.5 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved qtest.2.11.2 (cached)
-> retrieved qcheck.0.23, qcheck-core.0.23, qcheck-ounit.0.23 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved refl.0.4.1 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved ppxlib.0.35.0 (cached)
-> installed mlbdd.0.7.3
-> installed ppx_derivers.1.2.1
-> retrieved stdcompat.19 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved traverse.0.3.0 (cached)
-> retrieved setr.0.1.1 (https://github.com/arlencox/SETr/archive/v0.1.1.tar.gz)
-> installed sexplib0.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed ocaml-compiler-libs.v0.12.4
-> installed ocaml-migrate-parsetree.2.4.0
-> installed dune-configurator.3.17.2
-> installed qcheck-core.0.23
-> installed ounit2.2.2.7
-> installed ounit.2.2.7
-> installed mlgmpidl.1.3.0
-> installed parmap.1.2.5
-> installed qcheck-ounit.0.23
-> installed qcheck.0.23
-> installed obuild.0.1.11
-> installed qtest.2.11.2
-> installed ocamlbuild.0.15.0
-> installed stdcompat.19
-> installed setr.0.1.1
-> installed ppxlib.0.35.0
-> installed metapp.0.4.4
-> installed metaquot.0.5.2
-> installed traverse.0.3.0
-> installed apron.v0.9.15
-> installed refl.0.4.1
-> installed clangml.4.8.0
-> installed clangml-transforms.0.26
#=== ERROR while fetching sources for bdd.0.3 =================================#
OpamSolution.Fetch_fail("https://www.lri.fr/~filliatr/ftp/ocaml/bdd/bdd-0.3.tar.gz (Bad checksum, expected sha256=678e591c9b5ee7cd310589c433828c266204f7c260627aea5e5d12798ec9c3c0)")
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - fetch bdd 0.3
+-
+- The following changes have been performed (the rest was aborted)
| - install apron v0.9.15
| - install base-bytes base
| - install bigarray-compat 1.1.0
| - install camlidl 1.12
| - install clangml 4.8.0
| - install clangml-transforms 0.26
| - install conf-autoconf 0.2
| - install conf-bash 1
| - install conf-findutils 1
| - install conf-gmp-paths 1
| - install conf-graphviz 0.1
| - install conf-libclang 15
| - install conf-mpfr-paths 1
| - install conf-ncurses 1
| - install conf-perl 2
| - install conf-pkg-config 4
| - install conf-which 1
| - install conf-zlib 1
| - install cppo 1.8.0
| - install csexp 1.5.2
| - install dolog 4.0.0
| - install dune-configurator 3.17.2
| - install ez-conf-lib 2
| - install fix 20230505
| - install metapp 0.4.4
| - install metaquot 0.5.2
| - install mlbdd 0.7.3
| - install mlgmpidl 1.3.0
| - install obuild 0.1.11
| - install ocaml-compiler-libs v0.12.4
| - install ocaml-migrate-parsetree 2.4.0
| - install ocamlbuild 0.15.0
| - install ounit 2.2.7
| - install ounit2 2.2.7
| - install parmap 1.2.5
| - install ppx_derivers 1.2.1
| - install ppxlib 0.35.0
| - install qcheck 0.23
| - install qcheck-core 0.23
| - install qcheck-ounit 0.23
| - install qtest 2.11.2
| - install refl 0.4.1
| - install seq base
| - install setr 0.1.1
| - install sexplib0 v0.17.0
| - install stdcompat 19
| - install stdlib-shims 0.3.0
| - install traverse 0.3.0
+-
<><> ocaml-migrate-parsetree.2.4.0 installed successfully <><><><><><><><><><><>
=> Note: This package is deprecated.
<><> conf-mpfr-paths.1 installed successfully <><><><><><><><><><><><><><><><><>
=> header file found in /usr/include
=> library file found in /usr/lib/x86_64-linux-gnu
<><> conf-gmp-paths.1 installed successfully ><><><><><><><><><><><><><><><><><>
=> header file found in /usr/include/x86_64-linux-gnu
=> library file found in /usr/lib/x86_64-linux-gnu
# 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-20250206023745.export"
On This Page