lars_kurth has quit [Read error: Connection reset by peer]
lars_kurth has joined #mirage
<eiji>
going for another rebuild after talex merged thigns just now.
<eiji>
hm. whats the difference between "opam depext -i something" and "opam pin add something"?
<eiji>
the m-fw Dockerfile uses depext, the Makefile.builder uses pin-add.
<eiji>
lets see if using depext from the makefile works, because that should avoid one or two rounds of "lets upgrade things just to downgrade them a minute later"
<reynir>
depext does "external dependencies" from your package manager
eiji has quit [Ping timeout: 258 seconds]
gowa has joined #mirage
<gowa>
(oh, "opam depext" works better when depext is installed...)
Haudegen has joined #mirage
mahmudov has joined #mirage
adhux0x0f0x3f has quit [Ping timeout: 240 seconds]
adhux0x0f0x3f has joined #mirage
Haudegen has quit [Quit: Bin weg.]
Haudegen has joined #mirage
<laudecay>
ayyy me and sam damashek will be at the mirage meetup in marrakesh!
Hrundi_V_Bakshi has joined #mirage
jnavila has joined #mirage
vesper has joined #mirage
vesper11 has quit [Ping timeout: 260 seconds]
jnavila has quit [Remote host closed the connection]
Hrundi_V_Bakshi has quit [Ping timeout: 268 seconds]