avsm changed the topic of #mirage to: mirage 2 released! party on!
tlockney is now known as tlockney_away
brson has quit [Ping timeout: 255 seconds]
jonludlam has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
tlockney_away is now known as tlockney
MrScout_ has joined #mirage
MrScout has quit [Ping timeout: 245 seconds]
tlockney is now known as tlockney_away
MrScout_ has quit [Ping timeout: 244 seconds]
rgrinberg has quit [Ping timeout: 244 seconds]
rgrinberg has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
rgrinberg has quit [Quit: Leaving.]
MrScout has joined #mirage
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
_`_ has joined #mirage
_`_ has left #mirage ["('_')/"]
larhat1 has joined #mirage
larhat has quit [Read error: Connection reset by peer]
vanila has quit [Read error: Connection reset by peer]
mort___ has joined #mirage
avsm has joined #mirage
jonludlam has joined #mirage
djs55 has joined #mirage
avsm has quit [Quit: Leaving.]
djs55 has quit [Quit: Leaving.]
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
djs55 has joined #mirage
MrScout has quit [Ping timeout: 245 seconds]
djs55 has quit [Quit: Leaving.]
djs55 has joined #mirage
thomasga has joined #mirage
jonludlam has quit [Ping timeout: 255 seconds]
dsheets has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
jonludlam has joined #mirage
<
mort___>
are we supposed to need the mirage-dev opam repo at the moment?
<
djs55>
maybe for mirage-profile? I should remove xentropyd from there because it's upstream now
djs55 has quit [Quit: Leaving.]
djs55 has joined #mirage
<
mort___>
was just asking due to mirage-skeleton - travis script added it as remote but i'd presume that it's not needed now mirage.2 upstreamed
larhat1 has quit [Read error: Connection reset by peer]
larhat has joined #mirage
mort___ has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
dsheets has quit [Ping timeout: 252 seconds]
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
rgrinberg has joined #mirage
mort___ has joined #mirage
avsm has joined #mirage
dsheets has joined #mirage
rgrinberg has quit [Quit: Leaving.]
thomasga has joined #mirage
rgrinberg has joined #mirage
seangrove has joined #mirage
brson has joined #mirage
djs55 has quit [Quit: Leaving.]
brson has quit [Quit: leaving]
mort___ has quit [Quit: Leaving.]
rgrinberg has quit [Quit: Leaving.]
djs55 has joined #mirage
jonludlam has quit [Ping timeout: 264 seconds]
brson has joined #mirage
tlockney_away is now known as tlockney
rgrinberg has joined #mirage
mort___ has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
mort___ has quit [Quit: Leaving.]
djs55 has quit [Ping timeout: 255 seconds]
mort___ has joined #mirage
avsm has quit [Quit: Leaving.]
avsm has joined #mirage
nojb has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
mort___ has quit [Quit: Leaving.]
djs55 has joined #mirage
nojb has quit [Quit: nojb]
nojb has joined #mirage
rgrinberg has quit [Quit: Leaving.]
djs55 has quit [Quit: Leaving.]
rgrinberg has joined #mirage
nojb has quit [Quit: nojb]
jonludlam has joined #mirage
brson has quit [Quit: Lost terminal]
brson has joined #mirage
MrScout has joined #mirage
djs55 has joined #mirage
djs55 has quit [Quit: Leaving.]
MrScout has quit [Remote host closed the connection]
djs55 has joined #mirage
djs55 has quit [Client Quit]
nojb has joined #mirage