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>
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>
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 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