thomasga has quit [Quit: Leaving.]
AndrewX192 has quit [Ping timeout: 240 seconds]
AndrewX192 has joined #mirage
tlockney_away is now known as tlockney
AndrewX192 has quit [Ping timeout: 264 seconds]
AndrewX192 has joined #mirage
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
mcclurmc_ has joined #mirage
mcclurmc has quit [Read error: Connection reset by peer]
mcclurmc_ has quit [Remote host closed the connection]
tlockney is now known as tlockney_away
AltGr has joined #mirage
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #mirage
djs55 has joined #mirage
<
algoriddle>
yes, I use Fedora 20, and had no problem with opam or mirage
jludlam has joined #mirage
djs55 has quit [Quit: Leaving.]
jludlam is now known as jonludlam
thomasga has joined #mirage
thomasga has quit [Client Quit]
thomasga has joined #mirage
djs55 has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
jludlam has joined #mirage
jonludlam has quit [Read error: Connection reset by peer]
mort___ has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
jludlam is now known as jonludlam
thomasga has quit [Quit: Leaving.]
mcclurmc has joined #mirage
tlockney_away is now known as tlockney
philtor_ has joined #mirage
mcclurmc_ has joined #mirage
mcclurmc has quit [Ping timeout: 255 seconds]
philtor_ has quit [Ping timeout: 240 seconds]
jonludlam has quit [Ping timeout: 264 seconds]
jludlam has joined #mirage
thomasga has joined #mirage
boogie has joined #mirage
mort___ has quit [Ping timeout: 240 seconds]
AltGr has left #mirage [#mirage]
jludlam has quit [Ping timeout: 264 seconds]
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #mirage
jludlam has joined #mirage
djs55 has quit [Quit: Leaving.]
jludlam has quit [Read error: Connection reset by peer]
thomasga has quit [Ping timeout: 264 seconds]
philtor_ has joined #mirage
boogie has quit [Quit: Leaving...]
boogie has joined #mirage
philtor_ has quit [Ping timeout: 264 seconds]
djs55 has joined #mirage
philtor_ has joined #mirage
tlockney is now known as tlockney_away
djs55 has quit [Quit: Leaving.]
thomasga has joined #mirage
philtor_ has quit [Ping timeout: 240 seconds]
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
jludlam has joined #mirage
tlockney_away is now known as tlockney
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
jludlam has quit [Remote host closed the connection]
thomasga has quit [Quit: Leaving.]
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #mirage
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #mirage
tizoc has quit [Client Quit]