On This Page
package cca
cca 0.7
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 133 packages
- install angstrom 0.16.1
- install arp 3.1.1
- install asn1-combinators 0.3.2
- install astring 0.8.5
- install awa 0.4.0
- install awa-mirage 0.4.0
- install base v0.16.3
- install base-bytes base
- install base64 3.5.1
- install bigstringaf 0.10.0
- install bos 0.2.1
- install ca-certs-nss 3.108
- install camlp-streams 5.0.1
- install camlp4 4.14+1
- install camlzip 1.13
- install carton 0.7.2
- install carton-git 0.7.2
- install carton-lwt 0.7.2
- install cca 0.7
- install checkseum 0.5.2
- install cmdliner 1.3.0
- install cohttp 6.0.0
- install conf-bash 1
- install conf-gmp 4
- install conf-gmp-powm-sec 3
- install conf-pkg-config 4
- install conf-which 1
- install conf-zlib 1
- install cppo 1.8.0
- install cryptokit 1.20
- install csexp 1.5.2
- install cstruct 6.2.0
- install cstruct-lwt 6.2.0
- install cstruct-unix 6.2.0
- install csv 2.4
- install decompress 1.5.3
- install digestif 1.2.0
- install dns 9.1.0
- install dns-client 9.1.0
- install dns-client-mirage 9.1.0
- install domain-name 0.4.0
- install duff 0.5
- install dune-configurator 3.17.2
- install duration 0.2.1
- install emile 1.1
- install encore 0.8
- install eqaf 0.10
- install ethernet 3.2.0
- install faraday 0.8.2
- install fmt 0.9.0
- install fpath 0.7.3
- install git 3.17.0
- install git-mirage 3.17.0
- install git-paf 3.17.0
- install git-unix 3.17.0
- install gmap 0.3.0
- install h2 0.13.0
- install happy-eyeballs 1.2.2
- install happy-eyeballs-lwt 1.2.2
- install happy-eyeballs-mirage 1.2.2
- install hpack 0.13.0
- install http 6.0.0
- install httpaf 0.7.1
- install httpun-types 0.2.0
- install hxd 0.3.3
- install ipaddr 5.6.0
- install ipaddr-cstruct 5.6.0
- install kdf 1.0.0
- install ke 0.6
- install logs 0.7.0
- install lru 0.3.1
- install lwt 5.9.0
- install lwt-dllist 1.0.1
- install macaddr 5.6.0
- install macaddr-cstruct 5.6.0
- install menhir 20240715
- install menhirCST 20240715
- install menhirLib 20240715
- install menhirSdk 20240715
- install metrics 0.4.1
- install mimic 0.0.9
- install mimic-happy-eyeballs 0.0.9
- install mirage-clock 4.2.0
- install mirage-clock-unix 4.2.0
- install mirage-crypto 1.2.0
- install mirage-crypto-ec 1.2.0
- install mirage-crypto-pk 1.2.0
- install mirage-crypto-rng 1.2.0
- install mirage-crypto-rng-mirage 1.2.0
- install mirage-flow 4.0.2
- install mirage-kv 6.1.1
- install mirage-net 4.0.0
- install mirage-runtime 4.8.2
- install mirage-time 3.0.0
- install mirage-unix 5.0.1
- install mtime 2.1.0
- install num 1.5-1
- install ocaml-compiler-libs v0.12.4
- install ocaml-syntax-shims 1.0.0
- install ocamlbuild 0.15.0
- install ocamlgraph 2.1.0
- install ocamlnet 4.1.9-2
- install ocplib-endian 1.2
- install ohex 0.2.0
- install optint 0.3.0
- install paf 0.7.0
- install pecu 0.7
- install ppx_derivers 1.2.1
- install ppx_sexp_conv v0.16.0
- install ppxlib 0.35.0
- install psq 0.2.1
- install ptime 1.2.0
- install pxp 1.2.9
- install randomconv 0.2.0
- install re 1.12.0
- install result 1.5
- install rresult 0.7.0
- install seq base
- install sexplib0 v0.16.0
- install stdlib-shims 0.3.0
- install stringext 1.6.0
- install tcpip 8.2.0
- install tls 1.0.4
- install tls-mirage 1.0.4
- install topkg 1.0.7
- install ulex 1.2
- install uri 4.4.0
- install uri-sexp 4.4.0
- install uuidm 0.9.9
- install uutf 1.0.3
- install volt 1.4
- install x509 1.0.5
- install zarith 1.14
The following system packages will first need to be installed:
libgmp-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" "libgmp-dev" "pkg-config" "zlib1g-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 .../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 pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../4-pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../5-pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Selecting previously unselected package zlib1g-dev:amd64.
- Preparing to unpack .../6-zlib1g-dev_1%3a1.2.13.dfsg-1_amd64.deb ...
- Unpacking zlib1g-dev:amd64 (1:1.2.13.dfsg-1) ...
- 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 zlib1g-dev:amd64 (1:1.2.13.dfsg-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+deb12u9) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved asn1-combinators.0.3.2 (cached)
-> retrieved angstrom.0.16.1 (cached)
-> retrieved astring.0.8.5 (cached)
-> retrieved base.v0.16.3 (https://github.com/janestreet/base/archive/refs/tags/v0.16.3.tar.gz)
-> installed base-bytes.base
-> retrieved base64.3.5.1 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved arp.3.1.1 (https://github.com/mirage/arp/releases/download/v3.1.1/arp-3.1.1.tbz)
-> retrieved bos.0.2.1 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved awa.0.4.0, awa-mirage.0.4.0 (https://github.com/mirage/awa-ssh/releases/download/v0.4.0/awa-0.4.0.tbz)
-> retrieved camlzip.1.13 (cached)
-> installed camlp-streams.5.0.1
-> installed base64.3.5.1
-> retrieved camlp4.4.14+1 (https://github.com/camlp4/camlp4/archive/refs/tags/4.14+1.tar.gz)
-> retrieved ca-certs-nss.3.108 (https://github.com/mirage/ca-certs-nss/releases/download/v3.108/ca-certs-nss-3.108.tbz)
-> retrieved carton.0.7.2, carton-git.0.7.2, carton-lwt.0.7.2 (https://github.com/robur-coop/carton/releases/download/0.7.2/carton-0.7.2.tbz)
-> retrieved cmdliner.1.3.0 (cached)
-> retrieved checkseum.0.5.2 (https://github.com/mirage/checkseum/releases/download/v0.5.2/checkseum-0.5.2.tbz)
-> retrieved conf-gmp.4 (cached)
-> retrieved conf-gmp-powm-sec.3 (cached)
-> retrieved cppo.1.8.0 (cached)
-> installed conf-bash.1
-> installed conf-gmp.4
-> installed conf-pkg-config.4
-> installed conf-which.1
-> retrieved cohttp.6.0.0, http.6.0.0 (https://github.com/mirage/ocaml-cohttp/releases/download/v6.0.0/cohttp-6.0.0.tbz)
-> installed conf-gmp-powm-sec.3
-> installed conf-zlib.1
-> retrieved csexp.1.5.2 (cached)
-> retrieved cstruct.6.2.0, cstruct-lwt.6.2.0, cstruct-unix.6.2.0 (cached)
-> retrieved cca.0.7 (https://github.com/codinuum/cca/archive/v0.7.tar.gz)
-> retrieved cryptokit.1.20 (https://github.com/xavierleroy/cryptokit/archive/release1201.tar.gz)
-> installed csexp.1.5.2
-> installed http.6.0.0
-> retrieved digestif.1.2.0 (cached)
-> installed camlzip.1.13
-> retrieved csv.2.4 (https://github.com/Chris00/ocaml-csv/releases/download/2.4/csv-2.4.tbz)
-> retrieved domain-name.0.4.0 (cached)
-> retrieved dns.9.1.0, dns-client.9.1.0, dns-client-mirage.9.1.0 (cached)
-> installed cmdliner.1.3.0
-> installed cppo.1.8.0
-> retrieved decompress.1.5.3 (https://github.com/mirage/decompress/releases/download/v1.5.3/decompress-1.5.3.tbz)
-> retrieved duration.0.2.1 (cached)
-> retrieved emile.1.1 (cached)
-> installed domain-name.0.4.0
-> installed duration.0.2.1
-> retrieved duff.0.5 (https://github.com/mirage/duff/releases/download/v0.5/duff-0.5.tbz)
-> retrieved eqaf.0.10 (cached)
-> retrieved ethernet.3.2.0 (cached)
-> retrieved faraday.0.8.2 (cached)
-> installed csv.2.4
-> retrieved fmt.0.9.0 (cached)
-> retrieved fpath.0.7.3 (cached)
-> retrieved encore.0.8 (https://github.com/mirage/encore/releases/download/v0.8/encore-v0.8.tbz)
-> retrieved gmap.0.3.0 (cached)
-> retrieved dune-configurator.3.17.2 (cached)
-> installed eqaf.0.10
-> installed gmap.0.3.0
-> retrieved happy-eyeballs.1.2.2, happy-eyeballs-lwt.1.2.2, happy-eyeballs-mirage.1.2.2 (https://github.com/robur-coop/happy-eyeballs/releases/download/v1.2.2/happy-eyeballs-1.2.2.tbz)
-> retrieved git.3.17.0, git-mirage.3.17.0, git-paf.3.17.0, git-unix.3.17.0 (https://github.com/mirage/ocaml-git/releases/download/3.17.0/git-3.17.0.tbz)
-> retrieved h2.0.13.0, hpack.0.13.0 (https://github.com/anmonteiro/ocaml-h2/releases/download/0.13.0/h2-0.13.0.tbz)
-> retrieved httpaf.0.7.1 (https://github.com/inhabitedtype/httpaf/archive/0.7.1.tar.gz)
-> retrieved ipaddr.5.6.0, ipaddr-cstruct.5.6.0, macaddr.5.6.0, macaddr-cstruct.5.6.0 (cached)
-> retrieved kdf.1.0.0 (cached)
-> retrieved ke.0.6 (cached)
-> retrieved logs.0.7.0 (cached)
-> retrieved lru.0.3.1 (cached)
-> retrieved lwt.5.9.0 (cached)
-> retrieved lwt-dllist.1.0.1 (cached)
-> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (cached)
-> installed digestif.1.2.0
-> installed macaddr.5.6.0
-> installed lwt-dllist.1.0.1
-> retrieved metrics.0.4.1 (cached)
-> installed menhirCST.20240715
-> retrieved hxd.0.3.3 (https://github.com/dinosaure/hxd/releases/download/v0.3.3/hxd-0.3.3.tbz)
-> retrieved mimic.0.0.9, mimic-happy-eyeballs.0.0.9 (cached)
-> retrieved httpun-types.0.2.0 (https://github.com/anmonteiro/httpun/releases/download/0.2.0/httpun-0.2.0.tbz)
-> retrieved mirage-clock.4.2.0, mirage-clock-unix.4.2.0 (cached)
-> retrieved mirage-kv.6.1.1 (cached)
-> retrieved mirage-net.4.0.0 (cached)
-> retrieved mirage-runtime.4.8.2 (cached)
-> installed dune-configurator.3.17.2
-> retrieved mirage-time.3.0.0 (cached)
-> retrieved mirage-unix.5.0.1 (cached)
-> retrieved mtime.2.1.0 (cached)
-> retrieved num.1.5-1 (cached)
-> installed mirage-clock.4.2.0
-> installed menhirSdk.20240715
-> installed menhirLib.20240715
-> installed ipaddr.5.6.0
-> retrieved mirage-crypto.1.2.0, mirage-crypto-ec.1.2.0, mirage-crypto-pk.1.2.0, mirage-crypto-rng.1.2.0, mirage-crypto-rng-mirage.1.2.0 (cached)
-> installed bigstringaf.0.10.0
-> installed mirage-clock-unix.4.2.0
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved mirage-flow.4.0.2 (https://github.com/mirage/mirage-flow/releases/download/v4.0.2/mirage-flow-4.0.2.tbz)
-> retrieved ocamlbuild.0.15.0 (cached)
-> retrieved ocamlgraph.2.1.0 (cached)
-> installed faraday.0.8.2
-> retrieved ocplib-endian.1.2 (cached)
-> retrieved ohex.0.2.0 (cached)
-> retrieved optint.0.3.0 (cached)
-> installed ohex.0.2.0
-> installed httpun-types.0.2.0
-> installed optint.0.3.0
-> installed num.1.5-1
-> installed ocaml-syntax-shims.1.0.0
-> installed ocplib-endian.1.2
-> retrieved ocaml-compiler-libs.v0.12.4 (https://github.com/janestreet/ocaml-compiler-libs/releases/download/v0.12.4/ocaml-compiler-libs-v0.12.4.tbz)
-> retrieved pecu.0.7 (cached)
-> retrieved paf.0.7.0 (https://github.com/dinosaure/paf-le-chien/releases/download/0.7.0/paf-0.7.0.tbz)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_sexp_conv.v0.16.0 (https://ocaml.janestreet.com/ocaml-core/v0.16/files/ppx_sexp_conv-v0.16.0.tar.gz)
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved psq.0.2.1 (cached)
-> retrieved ptime.1.2.0 (cached)
-> retrieved randomconv.0.2.0 (cached)
-> installed ppx_derivers.1.2.1
-> installed checkseum.0.5.2
-> installed pecu.0.7
-> retrieved re.1.12.0 (cached)
-> installed randomconv.0.2.0
-> installed angstrom.0.16.1
-> retrieved result.1.5 (cached)
-> retrieved ocamlnet.4.1.9-2 (http://download.camlcity.org/download/ocamlnet-4.1.9.tar.gz)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved rresult.0.7.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved stringext.1.6.0 (cached)
-> retrieved sexplib0.v0.16.0 (https://ocaml.janestreet.com/ocaml-core/v0.16/files/sexplib0-v0.16.0.tar.gz)
-> installed mirage-crypto.1.2.0
-> retrieved pxp.1.2.9 (http://download.camlcity.org/download/pxp-1.2.9.tar.gz)
-> retrieved topkg.1.0.7 (cached)
-> installed result.1.5
-> installed stringext.1.6.0
-> installed stdlib-shims.0.3.0
-> installed psq.0.2.1
-> installed ocaml-compiler-libs.v0.12.4
-> installed kdf.1.0.0
-> installed hpack.0.13.0
-> installed sexplib0.v0.16.0
-> installed lru.0.3.1
-> retrieved tcpip.8.2.0 (https://github.com/mirage/mirage-tcpip/releases/download/v8.2.0/tcpip-8.2.0.tbz)
-> retrieved ulex.1.2 (https://github.com/whitequark/ulex/archive/v1.2.tar.gz)
-> retrieved uri.4.4.0, uri-sexp.4.4.0 (cached)
-> retrieved uutf.1.0.3 (cached)
-> retrieved uuidm.0.9.9 (https://erratique.ch/software/uuidm/releases/uuidm-0.9.9.tbz)
-> installed httpaf.0.7.1
-> retrieved tls.1.0.4, tls-mirage.1.0.4 (https://github.com/mirleft/ocaml-tls/releases/download/v1.0.4/tls-1.0.4.tbz)
-> retrieved x509.1.0.5 (cached)
-> retrieved zarith.1.14 (cached)
-> installed re.1.12.0
-> installed decompress.1.5.3
-> retrieved volt.1.4 (https://github.com/codinuum/volt/archive/v1.4.tar.gz)
-> installed h2.0.13.0
-> installed ocamlgraph.2.1.0
-> installed lwt.5.9.0
-> installed uri.4.4.0
-> installed mirage-time.3.0.0
-> installed ocamlbuild.0.15.0
-> installed hxd.0.3.3
-> installed zarith.1.14
-> installed base.v0.16.3
-> installed cryptokit.1.20
-> installed topkg.1.0.7
-> installed rresult.0.7.0
-> installed uuidm.0.9.9
-> installed mtime.2.1.0
-> installed uutf.1.0.3
-> installed fmt.0.9.0
-> installed ptime.1.2.0
-> installed duff.0.5
-> installed mirage-kv.6.1.1
-> installed astring.0.8.5
-> installed metrics.0.4.1
-> installed ke.0.6
-> installed encore.0.8
-> installed emile.1.1
-> installed cstruct.6.2.0
-> installed menhir.20240715
-> installed asn1-combinators.0.3.2
-> installed cstruct-lwt.6.2.0
-> installed cstruct-unix.6.2.0
-> installed ipaddr-cstruct.5.6.0
-> installed macaddr-cstruct.5.6.0
-> installed mirage-flow.4.0.2
-> installed mirage-net.4.0.0
-> installed fpath.0.7.3
-> installed logs.0.7.0
-> installed ethernet.3.2.0
-> installed happy-eyeballs.1.2.2
-> installed mirage-runtime.4.8.2
-> installed mimic.0.0.9
-> installed mirage-crypto-rng.1.2.0
-> installed arp.3.1.1
-> installed mirage-unix.5.0.1
-> installed mirage-crypto-rng-mirage.1.2.0
-> installed mirage-crypto-pk.1.2.0
-> installed dns.9.1.0
-> installed tcpip.8.2.0
-> installed happy-eyeballs-lwt.1.2.2
-> installed dns-client.9.1.0
-> installed happy-eyeballs-mirage.1.2.2
-> installed bos.0.2.1
-> installed ppxlib.0.35.0
-> installed carton.0.7.2
-> installed carton-lwt.0.7.2
-> installed carton-git.0.7.2
-> installed mirage-crypto-ec.1.2.0
-> installed ppx_sexp_conv.v0.16.0
-> installed git.3.17.0
-> installed x509.1.0.5
-> installed uri-sexp.4.4.0
-> installed ca-certs-nss.3.108
-> installed awa.0.4.0
-> installed tls.1.0.4
-> installed cohttp.6.0.0
-> installed awa-mirage.0.4.0
-> installed tls-mirage.1.0.4
-> installed dns-client-mirage.9.1.0
-> installed paf.0.7.0
-> installed mimic-happy-eyeballs.0.0.9
-> installed git-paf.3.17.0
-> installed git-mirage.3.17.0
-> installed git-unix.3.17.0
-> installed ocamlnet.4.1.9-2
-> installed camlp4.4.14+1
-> installed ulex.1.2
-> installed volt.1.4
-> installed pxp.1.2.9
[ERROR] Installation of cca.0.7 failed
#=== ERROR while installing cca.0.7 ===========================================#
Some files in /home/opam/.opam/4.14/.opam-switch/install/cca.install couldn't be installed:
- /home/opam/.opam/4.14/.opam-switch/build/cca.0.7/src/ast/analyzing/langs/fortran/Mfortran.cmxs to /home/opam/.opam/4.14/lib/cca
- /home/opam/.opam/4.14/.opam-switch/build/cca.0.7/src/ast/analyzing/langs/fortran/Mfortran_p.cmxs to /home/opam/.opam/4.14/lib/cca
- /home/opam/.opam/4.14/.opam-switch/build/cca.0.7/src/ast/analyzing/langs/java/Mjava.cmxs to /home/opam/.opam/4.14/lib/cca
- /home/opam/.opam/4.14/.opam-switch/build/cca.0.7/src/ast/analyzing/langs/java/Mjava_p.cmxs to /home/opam/.opam/4.14/lib/cca
- /home/opam/.opam/4.14/.opam-switch/build/cca.0.7/src/ast/analyzing/langs/python/Mpython.cmxs to /home/opam/.opam/4.14/lib/cca
- /home/opam/.opam/4.14/.opam-switch/build/cca.0.7/src/ast/analyzing/langs/python/Mpython_p.cmxs to /home/opam/.opam/4.14/lib/cca
- /home/opam/.opam/4.14/.opam-switch/build/cca.0.7/src/ast/analyzing/langs/verilog/Mverilog.cmxs to /home/opam/.opam/4.14/lib/cca
- /home/opam/.opam/4.14/.opam-switch/build/cca.0.7/src/ast/analyzing/langs/verilog/Mverilog_p.cmxs to /home/opam/.opam/4.14/lib/cca
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - install cca 0.7
+-
+- The following changes have been performed
| - install angstrom 0.16.1
| - install arp 3.1.1
| - install asn1-combinators 0.3.2
| - install astring 0.8.5
| - install awa 0.4.0
| - install awa-mirage 0.4.0
| - install base v0.16.3
| - install base-bytes base
| - install base64 3.5.1
| - install bigstringaf 0.10.0
| - install bos 0.2.1
| - install ca-certs-nss 3.108
| - install camlp-streams 5.0.1
| - install camlp4 4.14+1
| - install camlzip 1.13
| - install carton 0.7.2
| - install carton-git 0.7.2
| - install carton-lwt 0.7.2
| - install checkseum 0.5.2
| - install cmdliner 1.3.0
| - install cohttp 6.0.0
| - install conf-bash 1
| - install conf-gmp 4
| - install conf-gmp-powm-sec 3
| - install conf-pkg-config 4
| - install conf-which 1
| - install conf-zlib 1
| - install cppo 1.8.0
| - install cryptokit 1.20
| - install csexp 1.5.2
| - install cstruct 6.2.0
| - install cstruct-lwt 6.2.0
| - install cstruct-unix 6.2.0
| - install csv 2.4
| - install decompress 1.5.3
| - install digestif 1.2.0
| - install dns 9.1.0
| - install dns-client 9.1.0
| - install dns-client-mirage 9.1.0
| - install domain-name 0.4.0
| - install duff 0.5
| - install dune-configurator 3.17.2
| - install duration 0.2.1
| - install emile 1.1
| - install encore 0.8
| - install eqaf 0.10
| - install ethernet 3.2.0
| - install faraday 0.8.2
| - install fmt 0.9.0
| - install fpath 0.7.3
| - install git 3.17.0
| - install git-mirage 3.17.0
| - install git-paf 3.17.0
| - install git-unix 3.17.0
| - install gmap 0.3.0
| - install h2 0.13.0
| - install happy-eyeballs 1.2.2
| - install happy-eyeballs-lwt 1.2.2
| - install happy-eyeballs-mirage 1.2.2
| - install hpack 0.13.0
| - install http 6.0.0
| - install httpaf 0.7.1
| - install httpun-types 0.2.0
| - install hxd 0.3.3
| - install ipaddr 5.6.0
| - install ipaddr-cstruct 5.6.0
| - install kdf 1.0.0
| - install ke 0.6
| - install logs 0.7.0
| - install lru 0.3.1
| - install lwt 5.9.0
| - install lwt-dllist 1.0.1
| - install macaddr 5.6.0
| - install macaddr-cstruct 5.6.0
| - install menhir 20240715
| - install menhirCST 20240715
| - install menhirLib 20240715
| - install menhirSdk 20240715
| - install metrics 0.4.1
| - install mimic 0.0.9
| - install mimic-happy-eyeballs 0.0.9
| - install mirage-clock 4.2.0
| - install mirage-clock-unix 4.2.0
| - install mirage-crypto 1.2.0
| - install mirage-crypto-ec 1.2.0
| - install mirage-crypto-pk 1.2.0
| - install mirage-crypto-rng 1.2.0
| - install mirage-crypto-rng-mirage 1.2.0
| - install mirage-flow 4.0.2
| - install mirage-kv 6.1.1
| - install mirage-net 4.0.0
| - install mirage-runtime 4.8.2
| - install mirage-time 3.0.0
| - install mirage-unix 5.0.1
| - install mtime 2.1.0
| - install num 1.5-1
| - install ocaml-compiler-libs v0.12.4
| - install ocaml-syntax-shims 1.0.0
| - install ocamlbuild 0.15.0
| - install ocamlgraph 2.1.0
| - install ocamlnet 4.1.9-2
| - install ocplib-endian 1.2
| - install ohex 0.2.0
| - install optint 0.3.0
| - install paf 0.7.0
| - install pecu 0.7
| - install ppx_derivers 1.2.1
| - install ppx_sexp_conv v0.16.0
| - install ppxlib 0.35.0
| - install psq 0.2.1
| - install ptime 1.2.0
| - install pxp 1.2.9
| - install randomconv 0.2.0
| - install re 1.12.0
| - install result 1.5
| - install rresult 0.7.0
| - install seq base
| - install sexplib0 v0.16.0
| - install stdlib-shims 0.3.0
| - install stringext 1.6.0
| - install tcpip 8.2.0
| - install tls 1.0.4
| - install tls-mirage 1.0.4
| - install topkg 1.0.7
| - install ulex 1.2
| - install uri 4.4.0
| - install uri-sexp 4.4.0
| - install uuidm 0.9.9
| - install uutf 1.0.3
| - install volt 1.4
| - install x509 1.0.5
| - install zarith 1.14
+-
# 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-20250212092043.export"
On This Page