haesbaert has quit [Ping timeout: 260 seconds]
haesbaert has joined #ocaml
geoffder has quit [Quit: Client closed]
waleee has quit [Ping timeout: 268 seconds]
noonien has quit [Quit: Ping timeout (120 seconds)]
noonien has joined #ocaml
geoffder has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
QDX45 has quit [Remote host closed the connection]
QDX45 has joined #ocaml
chrisz has quit [Ping timeout: 268 seconds]
chrisz has joined #ocaml
terrorjack has joined #ocaml
Haudegen has joined #ocaml
sagax has quit [Ping timeout: 260 seconds]
geoffder has quit [Ping timeout: 252 seconds]
John_Ivan has quit [Read error: Connection reset by peer]
John_Ivan has joined #ocaml
sagax has joined #ocaml
jao has quit [Ping timeout: 252 seconds]
qwr has quit [Ping timeout: 248 seconds]
mro has joined #ocaml
qwr has joined #ocaml
bartholin has joined #ocaml
bartholin has quit [Quit: Leaving]
m5zs7k has quit [Ping timeout: 268 seconds]
m5zs7k has joined #ocaml
orbifx has joined #ocaml
olle has joined #ocaml
gopiandcode has quit [Ping timeout: 246 seconds]
gopiandcode has joined #ocaml
spip has quit [Ping timeout: 246 seconds]
spip has joined #ocaml
gopiandcode has quit [Ping timeout: 260 seconds]
gopiandcode has joined #ocaml
mro has quit [Quit: Leaving...]
gopiandcode has quit [Ping timeout: 264 seconds]
gopiandcode has joined #ocaml
orbifx has quit [Ping timeout: 268 seconds]
gopiandcode has quit [Ping timeout: 244 seconds]
gopiandcode has joined #ocaml
rak has quit [Ping timeout: 268 seconds]
orbifx has joined #ocaml
rak has joined #ocaml
gopiandcode has quit [Ping timeout: 268 seconds]
gopiandcode has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
infinity0_ has joined #ocaml
infinity0 is now known as Guest5988
Guest5988 has quit [Killed (tungsten.libera.chat (Nickname regained by services))]
infinity0_ is now known as infinity0
emacs_pprentice_ has joined #ocaml
wingsorc__ has quit [Ping timeout: 250 seconds]
zebrag has joined #ocaml
orbifx has quit [Ping timeout: 248 seconds]
John_Ivan has quit [Read error: Connection reset by peer]
John_Ivan has joined #ocaml
gopiandcode has quit [Ping timeout: 250 seconds]
gopiandcode has joined #ocaml
Haudegen has joined #ocaml
emacs_pprentice_ has quit [Read error: Connection reset by peer]
emacs_pprentice_ has joined #ocaml
waleee has joined #ocaml
dnh has joined #ocaml
spip has quit [Ping timeout: 250 seconds]
spip has joined #ocaml
infinity0_ has joined #ocaml
infinity0 is now known as Guest9697
infinity0_ is now known as infinity0
Guest9697 has quit [Killed (copper.libera.chat (Nickname regained by services))]
waleee has quit [Ping timeout: 252 seconds]
John_Ivan has quit [Read error: Connection reset by peer]
John_Ivan has joined #ocaml
John_Ivan has quit [Ping timeout: 265 seconds]
jao has joined #ocaml
waleee has joined #ocaml
Serpent7776 has joined #ocaml
Tuplanolla has joined #ocaml
waleee has quit [Ping timeout: 265 seconds]
<
David[m]123>
Anyone having ocaml-lsp give you unbound module errors, but dune builds just fine?
gopiandcode has quit [Ping timeout: 265 seconds]
gopiandcode has joined #ocaml
gopiandcode has quit [Ping timeout: 246 seconds]
gopiandcode has joined #ocaml
Everything has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
gopiandcode has quit [Ping timeout: 268 seconds]
gopiandcode has joined #ocaml
John_Ivan has joined #ocaml
Haudegen has joined #ocaml
orbifx has joined #ocaml
waleee has joined #ocaml
orbifx has quit [Quit: orbifx]
waleee has quit [Ping timeout: 246 seconds]
Serpent7776 has quit [Ping timeout: 252 seconds]
waleee has joined #ocaml
bobo_ has joined #ocaml
spip has quit [Ping timeout: 268 seconds]
b0o has quit [Ping timeout: 264 seconds]
b0o has joined #ocaml
Dimonax has joined #ocaml
bartholin has joined #ocaml
cedric has joined #ocaml
<
Dimonax>
Are there any alternatives to depext in the opam system?
<
Dimonax>
Trying to install frama-c on FreeBSD.
<
olle>
You can also try the forum
Everything has left #ocaml [#ocaml]
<
Dimonax>
Found the problem!
<
Dimonax>
The website instructs me to use "opam install depext", but that's wrong...it should be "opam install opam-depext"
<
Dimonax>
The website needs to be updated.
Tuplanolla has quit [Quit: Leaving.]
<
olle>
Menhir is not eating up tokens
<
olle>
But it's so late zzz
cedric has quit [Quit: Konversation terminated!]
olle has quit [Ping timeout: 264 seconds]
jao has quit [Remote host closed the connection]
jao has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Haudegen has quit [Ping timeout: 268 seconds]
QDX45 has quit [Ping timeout: 244 seconds]
rwmjones has joined #ocaml
immutable_ has quit [Read error: Connection reset by peer]
immutable has joined #ocaml
berberman has joined #ocaml