avsm changed the topic of #mirage to: mirage 2 released! party on!
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 252 seconds]
vanila has joined #mirage
<vanila> Hi!
<vanila> i find the mirage page very slow, is there a mirroR?
<vanila> for the docs
mcclurmc has joined #mirage
hannes` is now known as hannes
<vanila> well I got it loaded and all examples 1,2,3 work (hello world, block device, key value store)
<vanila> but networking one doens'twork
<vanila> opam install --yes mirage-clock-unix mirage-console mirage-http mirage-net-unix mirage-unix tcpip
<vanila> this particular command wont work because of tcpip, Does anyone know a fix?
cojy has joined #mirage
boadie has quit [Read error: Connection reset by peer]
boadie has joined #mirage
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
mcclurmc has quit [Remote host closed the connection]
<vanila> oh my friend has an idea that I should 'opam update'
<vanila> mirage --version says 2.0.0
rgrinberg has joined #mirage
<vanila> ok it works now :)
rgrinberg has quit [Quit: Leaving.]
avsm has joined #mirage
<vanila> oh geez!!
<vanila> I had some trouble iwth "Step 4" here because it doesn't tell you to use port 8080!
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 244 seconds]
rgrinberg has joined #mirage
avsm has quit [Quit: Leaving.]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
rgrinberg has quit [Quit: Leaving.]
vanila has quit [Quit: Leaving]
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 244 seconds]
AltGr has joined #mirage
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 256 seconds]
AltGr has left #mirage [#mirage]
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 245 seconds]
boadie has quit []
boadie has joined #mirage
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 258 seconds]
avsm has joined #mirage
avsm has quit [Ping timeout: 252 seconds]
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 264 seconds]
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 272 seconds]
jerith_ is now known as jerith
djs55 has joined #mirage
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 256 seconds]
djs55 has quit [Quit: Leaving.]
jonludlam has quit [Quit: Coyote finally caught me]
jonludlam has joined #mirage
larhat has quit [Read error: Connection reset by peer]
larhat has joined #mirage
avsm has joined #mirage
avsm has quit [Quit: Leaving.]
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 265 seconds]
rgrinberg has joined #mirage
rgrinberg has quit [Quit: Leaving.]
djs55 has joined #mirage
rgrinberg has joined #mirage
nojb has joined #mirage
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 244 seconds]
rgrinberg has quit [Quit: Leaving.]
avsm has joined #mirage
avsm has quit [Quit: Leaving.]
nojb has quit [Ping timeout: 240 seconds]
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 252 seconds]
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 244 seconds]
nojb has joined #mirage
nojb has quit [Client Quit]
nojb has joined #mirage
nojb has quit [Client Quit]
mcclurmc has joined #mirage
avsm has joined #mirage
mcclurmc has quit [Ping timeout: 245 seconds]
nojb has joined #mirage
nojb has quit [Quit: nojb]
mcclurmc has joined #mirage
nojb has joined #mirage
nojb has quit [Client Quit]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
mcclurmc has quit [Remote host closed the connection]
nojb has joined #mirage
djs55 has quit [Quit: Leaving.]
raboof_ has joined #mirage
raboof_ has quit [Ping timeout: 250 seconds]
raboof_ has joined #mirage
raboof_ has quit [Ping timeout: 245 seconds]
avsm has quit [Quit: Leaving.]
djs55 has joined #mirage
rgrinberg has joined #mirage
mcclurmc has joined #mirage
rgrinberg has quit [Quit: Leaving.]
djs55 has quit [Quit: Leaving.]
brson has joined #mirage
nojb has quit [Quit: nojb]
rgrinberg has joined #mirage
nojb has joined #mirage
djs55 has joined #mirage
djs55 has quit [Quit: Leaving.]
mcclurmc has quit [Remote host closed the connection]
nojb has quit [Quit: nojb]
mcclurmc has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
avsm has joined #mirage
mcclurmc has quit [Remote host closed the connection]
tlockney_away is now known as tlockney
rgrinberg has quit [Quit: Leaving.]
seangrove has joined #mirage
tlockney is now known as tlockney_away
mcclurmc has joined #mirage