mcclurmc has quit [Remote host closed the connection]
tlockney is now known as tlockney_away
AltGr has joined #mirage
hhugo has quit [Quit: Leaving.]
brson has quit [Quit: leaving]
tlockney_away is now known as tlockney
yomimono has joined #mirage
tlockney is now known as tlockney_away
andreas1 has joined #mirage
andreas has quit [Ping timeout: 258 seconds]
mcclurmc has joined #mirage
tlockney_away is now known as tlockney
yomimono has quit [Ping timeout: 272 seconds]
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
tlockney is now known as tlockney_away
hhugo has joined #mirage
rgrinberg has quit [Quit: Leaving.]
djs55 has joined #mirage
djs55 has quit [Client Quit]
djs55 has joined #mirage
thomasga has joined #mirage
jonludlam has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
hhugo1 has joined #mirage
andreas1 has quit [Ping timeout: 245 seconds]
hhugo has quit [Read error: Connection reset by peer]
avsm has joined #mirage
avsm has quit [Quit: Leaving.]
andreas has joined #mirage
avsm has joined #mirage
groente_ is now known as groente
thomasga has quit [Quit: Leaving.]
hhugo1 has quit [Quit: Leaving.]
thomasga has joined #mirage
AltGr has left #mirage [#mirage]
avsm has quit [Quit: Leaving.]
avsm has joined #mirage
fmu has quit [Ping timeout: 240 seconds]
fmu has joined #mirage
avsm has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
rgrinberg has joined #mirage
rgrinberg has quit [Client Quit]
hhugo has joined #mirage
hhugo has quit [Quit: Leaving.]
dsheets has joined #mirage
dsheets has quit [Quit: Leaving]
dsheets has joined #mirage
nojb has joined #mirage
<
nojb>
is it possible to use multicast udp sockets in Mirage ?
hhugo has joined #mirage
hhugo has quit [Quit: Leaving.]
hhugo has joined #mirage
avsm has joined #mirage
tlockney_away is now known as tlockney
djs55 has quit [Quit: Leaving.]
<
nojb>
where is the module `OS' defined ?
<
avsm>
in mirage-platform
andreas has quit [Quit: Leaving.]
brson has joined #mirage
djs55 has joined #mirage
nojb has quit [Ping timeout: 272 seconds]
djs55 has quit [Quit: Leaving.]
nojb has joined #mirage
rgrinberg has joined #mirage
nojb has quit [Read error: Connection reset by peer]
nojb` has joined #mirage
avsm has quit [Quit: Leaving.]
nojb` has quit [Remote host closed the connection]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
rgrinberg has quit [Client Quit]
rgrinberg has joined #mirage
rgrinberg has quit [Client Quit]
hhugo has quit [Quit: Leaving.]
avsm has joined #mirage
avsm has quit [Client Quit]
rgrinberg has joined #mirage
dsheets has quit [Ping timeout: 272 seconds]
rgrinberg has quit [Quit: Leaving.]
thomasga has joined #mirage
tlockney is now known as tlockney_away
avsm has joined #mirage
tlockney_away is now known as tlockney
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
yomimono has joined #mirage
djs55 has joined #mirage
rgrinberg has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
avsm has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
djs55 has quit [Quit: Leaving.]
avsm has joined #mirage
andreas has joined #mirage
tlockney is now known as tlockney_away
IbnFirnas has joined #mirage
avsm has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
djs55 has joined #mirage
hhugo has joined #mirage
djs55 has quit [Quit: Leaving.]
tlockney_away is now known as tlockney
hhugo has quit [Quit: Leaving.]
yomimono has quit [Ping timeout: 240 seconds]