Question

Completely clean up local opam package after failed installation

score 23 · Answer 1 · 2024-03-11T04:35:10.577000

23

Views

Completely clean up local opam package after failed installation

Published on 11 March 2024 at 04:35

score 64 · Answer 2 · 2024-02-19T16:59:23.203000

64

Views

Installing Dune with the help of Opam

Published on 19 February 2024 at 16:59

score 28 · Answer 3 · 2024-02-19T16:53:58.230000

28

Views

Different environment of MSYS2 MINGW64 shell as standalone terminal and in Visual Studio Code

Published on 19 February 2024 at 16:53

score 103 · Answer 4 · 2024-02-05T19:27:56.813000

103

Views

ocaml-lsp-server giving "unbound module" errors

Published on 05 February 2024 at 19:27

score 131 · Answer 5 · 2023-12-13T09:17:55.937000

131

Views

opam upgrade to most recent version failure

Published on 13 December 2023 at 09:17

score 93 · Answer 6 · 2023-10-20T18:50:46.813000

93

Views

How to include Z3 in Dune project?

Published on 20 October 2023 at 18:50

score 121 · Answer 7 · 2023-06-21T09:21:27.713000

121

Views

Opam switch not working: "error Buffer OCaml has no process"

Published on 21 June 2023 at 09:21

score 109 · Answer 8 · 2023-05-26T11:08:48.470000

109

Views

Force OPAM to reinstall a local git repo

Published on 26 May 2023 at 11:08

score 113 · Answer 9 · 2023-05-03T16:01:21.283000

113

Views

Install z3 library for Ocaml by Cygwin64 (Windows 11)

Published on 03 May 2023 at 16:01

score 1.1k · Answer 10 · 2023-04-09T20:44:17.703000

1.1k

Views

How to add a library dependency in a dune project that manages the .opam file without an intermediate build error?

Published on 09 April 2023 at 20:44

score 89 · Answer 11 · 2023-04-09T16:10:42.963000

89

Views

opam switch install in foreign chroot picks version for host architecture, not guest architecture

Published on 09 April 2023 at 16:10

score 276 · Answer 12 · 2023-03-09T15:33:34.320000

276

Views

Is there a way to activate the default opam switch on shell startup?

Published on 09 March 2023 at 15:33

score 101 · Answer 13 · 2023-03-02T16:04:53.617000

101

Views

opam: unknown option `--bare', hence can't initialize

Published on 02 March 2023 at 16:04

score 115 · Answer 14 · 2023-02-25T23:17:50.840000

115

Views

opam switch install (in foreign chroot with QEMU) is extremely slow, about 75–90 minutes

Published on 25 February 2023 at 23:17

score 96 · Answer 15 · 2023-02-24T16:47:42.337000

96

Views

opam init fails because curl fails to verify the certificate

Published on 24 February 2023 at 16:47

score 28 · Answer 16 · 2023-02-15T20:49:35.737000

28

Views

What is the tag for menhir for coq 8.12 when installing it with opam install -y?

Published on 15 February 2023 at 20:49

score 295 · Answer 17 · 2023-02-14T19:22:49.847000

295

Views

How does one pin/freeze a version of the dependencies of an opam project/package and then install the project with such specified dependencies?

Published on 14 February 2023 at 19:22

score 210 · Answer 18 · 2023-02-14T18:42:44.453000

210

Views

How do I install ocamlfind first properly before other opam packages without root permissions?

Published on 14 February 2023 at 18:42

score 44 · Answer 19 · 2023-02-13T22:51:42.050000

44

Views

How does one make sure that coq project installed correctly when it doesn't seem to appear on opam list?

Published on 13 February 2023 at 22:51

score 1k · Answer 20 · 2023-02-03T01:11:07.613000

1k

Views

What is the proper way to install bubblewrap for opam (ideally without admin priviledges)?

Published on 03 February 2023 at 01:11

List Question

Completely clean up local opam package after failed installation

Installing Dune with the help of Opam

Different environment of MSYS2 MINGW64 shell as standalone terminal and in Visual Studio Code

ocaml-lsp-server giving "unbound module" errors

opam upgrade to most recent version failure

How to include Z3 in Dune project?

Opam switch not working: "error Buffer OCaml has no process"

Force OPAM to reinstall a local git repo

Install z3 library for Ocaml by Cygwin64 (Windows 11)

How to add a library dependency in a dune project that manages the .opam file without an intermediate build error?

opam switch install in foreign chroot picks version for host architecture, not guest architecture

Is there a way to activate the default opam switch on shell startup?

opam: unknown option `--bare', hence can't initialize

opam switch install (in foreign chroot with QEMU) is extremely slow, about 75–90 minutes

opam init fails because curl fails to verify the certificate

What is the tag for menhir for coq 8.12 when installing it with opam install -y?

How does one pin/freeze a version of the dependencies of an opam project/package and then install the project with such specified dependencies?

How do I install ocamlfind first properly before other opam packages without root permissions?

How does one make sure that coq project installed correctly when it doesn't seem to appear on opam list?

What is the proper way to install bubblewrap for opam (ideally without admin priviledges)?

Trending Questions

Popular # Hahtags

Popular Questions