Marcello Seri

Failure is ``` #=== ERROR while compiling git-unix.3.3.0 =====================================# # context 2.1.0 | linux/x86_64 | ocaml-base-compiler.4.11.2 | file:///home/opam/opam-repository # path ~/.opam/4.11/.opam-switch/build/git-unix.3.3.0 # command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p git-unix -j...

``` #=== ERROR while compiling embedded_ocaml_templates.0.3.1 =====================# # context 2.0.9 | linux/x86_64 | ocaml-base-compiler.4.12.1 | file:///home/opam/opam-repository # path ~/.opam/4.12/.opam-switch/build/embedded_ocaml_templates.0.3.1 # command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p embedded_ocaml_templates -j 31 #...

[lower bounds] issue with tsdl and ctypes-foreign

1

Error: ``` #=== ERROR while compiling bogue.20210917 =====================================# # context 2.1.0 | linux/x86_64 | ocaml-base-compiler.4.10.2 | pinned(https://github.com/sanette/bogue/archive/refs/tags/20210917.tar.gz) # path ~/.opam/4.10/.opam-switch/build/bogue.20210917 # command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p bogue -j 31...

[lower bound] Error compiling tls.0.10.1

1

The error is ``` #=== ERROR while compiling tls.0.10.1 =========================================# # context 2.1.0~rc2 | linux/x86_64 | ocaml-base-compiler.4.03.0 | file:///src # path ~/.opam/4.03/.opam-switch/build/tls.0.10.1 # command ~/.opam/opam-init/hooks/sandbox.sh build ocaml pkg/pkg.ml build --pinned...

``` # Exception: PropList.Unknown_field ("XOCamlbuildExtraArgs", "Document"). # File "setup.ml", line 1: # Error: Reference to undefined global `OASISDynRun' ``` From installation of irc-client 0.5.0, with ``` The following actions will...

Error: ``` #=== ERROR while fetching sources for cstruct.1.6.0 ===========================# OpamSolution.Fetch_fail("https://github.com/mirage/ocaml-cstruct/archive/v1.6.0.tar.gz (Bad checksum, expected md5=3104c76f548aeee8715e3ba0b98c28fe)") ``` The linked archive and the archive at https://opam.ocaml.org/cache/md5/31/3104c76f548aeee8715e3ba0b98c28fe have different contents.

Ppx_tools not working in uTop 2.0.1

10

As mentioned in https://discuss.ocaml.org/t/ppx-tools-not-working-in-utop/367 The new utop has a problem with `ppx_tools`: ``` $ utop -require ppx_tools File "_none_", line 1: Error: Reference to undefined global `Longident' ``` I think...

The opam archive for version 4.0.0 seems to have changed

1

From https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/530f075fbfd6646cef636cefe0a5a5eaaf26135a/variant/compilers,4.11,cohttp.4.0.0,revdeps,KaSim.4.0.0 ``` [ERROR] The sources of the following couldn't be obtained, aborting: - KaSim.4.0.0: https://github.com/Kappa-Dev/KaSim/archive/v4.0.tar.gz (Bad checksum, expected md5=894a517c7991f42100d2e957efc6cfa2) ``` You can recover the original archive from https://opam.ocaml.org/cache/md5/89/894a517c7991f42100d2e957efc6cfa2 Could...

Annoying bell sound when running `Coq: Step Forward` using the keybindings

2

I have vscoq installed on Visual Studio Code on osx. When I use Ctrl+Cmd+downarrow to step forward a bell like the terminal bell is playing a noise. I could not...

Install issues on MacOS

1

I refer you directly to the issue on opam-repository where this has been discussed at length and you can find more information: https://github.com/ocaml/opam-repository/issues/14718#issuecomment-555843294