brson_ has quit [Ping timeout: 255 seconds]
brson has joined #mirage
brson has quit [Quit: leaving]
brson has joined #mirage
philtor_ has joined #mirage
philtor_ has quit [Ping timeout: 250 seconds]
thomasga has quit [Quit: Leaving.]
englishm has joined #mirage
brson has quit [Ping timeout: 245 seconds]
rgrinberg has joined #mirage
englishm has quit [Remote host closed the connection]
englishm has joined #mirage
englishm has quit [Remote host closed the connection]
englishm has joined #mirage
rgrinberg has quit [Quit: Leaving.]
tlockney is now known as tlockney_away
rgrinberg has joined #mirage
rgrinberg has quit [Quit: Leaving.]
thomasga has joined #mirage
djs55 has joined #mirage
andreas has joined #mirage
andreas1 has quit [Ping timeout: 260 seconds]
dsheets has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
djs55 has quit [Quit: Leaving.]
djs55 has joined #mirage
englishm has quit [Ping timeout: 260 seconds]
maker has quit [Ping timeout: 240 seconds]
englishm has joined #mirage
djs55 has quit [Quit: Leaving.]
yastero_ has joined #mirage
vbmithr_ has joined #mirage
vbmithr has quit [Ping timeout: 260 seconds]
yastero has quit [Ping timeout: 260 seconds]
tg has quit [Ping timeout: 245 seconds]
tg has joined #mirage
maker has joined #mirage
rgrinberg has joined #mirage
tlockney_away is now known as tlockney
englishm has quit [Remote host closed the connection]
englishm has joined #mirage
englishm has quit [Remote host closed the connection]
englishm has joined #mirage
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
rgrinberg has quit [Quit: Leaving.]
djs55 has joined #mirage
rgrinberg has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
brson has joined #mirage
philtor_ has joined #mirage
rgrinberg has quit [Quit: Leaving.]
andreas has quit [Quit: Leaving.]
djs55 has quit [Quit: Leaving.]
dbuenzli has joined #mirage
<dbuenzli> Anyone has a pin tip on how to install ocp-indent after the last ocp-build update ? (https://github.com/ocaml/opam-repository/pull/2499#issuecomment-53294037)
dbuenzli has quit [Quit: Leaving.]
rgrinberg has joined #mirage
tlockney is now known as tlockney_away
djs55 has joined #mirage
englishm has quit [Remote host closed the connection]
englishm has joined #mirage
englishm has quit [Remote host closed the connection]
englishm has joined #mirage
tlockney_away is now known as tlockney
philtor_ has quit [Ping timeout: 264 seconds]
thomasga has quit [Quit: Leaving.]
yastero_ is now known as yastero
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
englishm has quit [Remote host closed the connection]
englishm has joined #mirage
djs55 has quit [Quit: Leaving.]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
thomasga has joined #mirage
dsheets has quit [Ping timeout: 240 seconds]