boogie has quit [Remote host closed the connection]
<AndrewX192>
algoriddle: I got it to work. somehow opam didn't pick up changes to ocaml packages installed by yum, as well as packages installed by pam. I rebuilt opam from sources and got it working
boogie has joined #mirage
patojo has joined #mirage
boogie has quit [Read error: Connection reset by peer]
tlockney is now known as tlockney_away
patojo has quit [Remote host closed the connection]
mcclurmc has joined #mirage
mcclurmc_ has quit [Read error: Connection reset by peer]
noddy has quit [Ping timeout: 252 seconds]
noddy has joined #mirage
boogie has joined #mirage
boogie has quit [Ping timeout: 244 seconds]
boogie has joined #mirage
boogie has quit [Read error: Connection reset by peer]
boogie has joined #mirage
boogie has quit [Ping timeout: 272 seconds]
AltGr has joined #mirage
boogie has joined #mirage
boogie has quit [Ping timeout: 255 seconds]
djs55 has joined #mirage
djs55 has quit [Client Quit]
jludlam has joined #mirage
boogie has joined #mirage
boogie has quit [Read error: Connection reset by peer]
boogie has joined #mirage
boogie has quit [Ping timeout: 255 seconds]
djs55 has joined #mirage
djs55 has quit [Client Quit]
djs55 has joined #mirage
mort___ has joined #mirage
boogie has joined #mirage
boogie has quit [Ping timeout: 255 seconds]
mort___ has quit [Ping timeout: 240 seconds]
boogie has joined #mirage
thomasga has joined #mirage
boogie has quit [Ping timeout: 244 seconds]
thomasga has quit [Quit: Leaving.]
boogie has joined #mirage
jludlam is now known as jonludlam
boogie has quit [Ping timeout: 240 seconds]
mort___ has joined #mirage
<vbmithr>
Irminsule users anyone ?
boogie has joined #mirage
boogie has quit [Ping timeout: 244 seconds]
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
mort___ has quit [Quit: Leaving.]
boogie has joined #mirage
boogie has quit [Ping timeout: 245 seconds]
thomasga has quit [Quit: Leaving.]
yomimono has joined #mirage
tlockney_away is now known as tlockney
boogie has joined #mirage
boogie has quit [Ping timeout: 240 seconds]
yomimono has quit [Ping timeout: 240 seconds]
tlockney is now known as tlockney_away
djs55 has quit [Quit: Leaving.]
thomasga has joined #mirage
philtor has joined #mirage
boogie has joined #mirage
philtor has quit [Ping timeout: 245 seconds]
djs55 has joined #mirage
tlockney_away is now known as tlockney
jonludlam has quit [Ping timeout: 244 seconds]
boogie has quit [Quit: Leaving...]
philtor has joined #mirage
philtor has quit [Ping timeout: 240 seconds]
philtor has joined #mirage
philtor has quit [Ping timeout: 272 seconds]
thomasga has quit [Quit: Leaving.]
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
AltGr has left #mirage [#mirage]
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
rektide has quit [Ping timeout: 276 seconds]
thomasga has joined #mirage
philtor has joined #mirage
philtor has quit [Ping timeout: 244 seconds]
djs55 has quit [Quit: Leaving.]
philtor has joined #mirage
rektide has joined #mirage
philtor has quit [Ping timeout: 245 seconds]
philtor has joined #mirage
philtor has quit [Ping timeout: 255 seconds]
djs55 has joined #mirage
djs55 has quit [Quit: Leaving.]
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
thomasga has quit [Quit: Leaving.]
jludlam has joined #mirage
thomasga has joined #mirage
NoNNaN has quit [Remote host closed the connection]