avsm changed the topic of #mirage to: mirage 2 released! party on!
jonludlam has quit [Ping timeout: 246 seconds]
brson has quit [Quit: leaving]
MrScout_ has quit [Ping timeout: 256 seconds]
lobo has quit [Quit: leaving]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
mcclurmc has quit [Remote host closed the connection]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg has joined #mirage
brson has joined #mirage
rgrinberg has quit [Ping timeout: 264 seconds]
brson has quit [Quit: leaving]
brson has joined #mirage
brson has quit [Quit: leaving]
brson has joined #mirage
andreas has joined #mirage
andreas1 has quit [Ping timeout: 264 seconds]
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 265 seconds]
brson has quit [Remote host closed the connection]
tlockney_away is now known as tlockney
rgrinberg has joined #mirage
tlockney is now known as tlockney_away
mcclurmc has joined #mirage
rgrinberg has quit [Ping timeout: 264 seconds]
rgrinberg has joined #mirage
mcclurmc has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 246 seconds]
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 246 seconds]
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 264 seconds]
yomimono_ has quit [Ping timeout: 252 seconds]
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 256 seconds]
yomimono_ has joined #mirage
yomimono_ has quit [Ping timeout: 252 seconds]
yomimono_ has joined #mirage
yomimono_ has quit [Ping timeout: 265 seconds]
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 256 seconds]
larhat has joined #mirage
vpm has quit [Quit: co'o]
vpm has joined #mirage
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 252 seconds]
nullcat has joined #mirage
nullcat__ has joined #mirage
nullcat has quit [Ping timeout: 252 seconds]
jonludlam has joined #mirage
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 246 seconds]
nullcat__ has quit [Read error: Connection reset by peer]
_whitelogger has joined #mirage
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 252 seconds]
larhat has quit [Read error: Connection reset by peer]
larhat has joined #mirage
seangrove has quit [Remote host closed the connection]
seangrove has joined #mirage
jonludlam has quit [Ping timeout: 264 seconds]
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 256 seconds]
rgrinberg1 has joined #mirage
mcclurmc has joined #mirage
yomimono has joined #mirage
nullcat has joined #mirage
mcclurmc has quit [Ping timeout: 244 seconds]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
rgrinberg1 has quit [Ping timeout: 252 seconds]
rgrinberg1 has joined #mirage
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 245 seconds]
nullcat_ has joined #mirage
rgrinberg1 has quit [Ping timeout: 264 seconds]
seangrove has quit [Ping timeout: 265 seconds]
tlockney_away is now known as tlockney
mcclurmc has joined #mirage
lobo has joined #mirage
mcclurmc has quit [Ping timeout: 265 seconds]
rgrinberg1 has joined #mirage
rgrinberg1 has quit [Ping timeout: 245 seconds]
larhat has quit [Quit: Leaving.]
larhat has joined #mirage
rgrinberg1 has joined #mirage
<
hannes>
raboof: which mirage / gmp-xen / zarith-xen do you have? (or: does opam update && opam upgrade help?)
rgrinberg1 has quit [Ping timeout: 256 seconds]
larhat has quit [Quit: Leaving.]
larhat has joined #mirage
brson has joined #mirage
lobo has quit [Ping timeout: 276 seconds]
rgrinberg1 has joined #mirage
larhat has quit [Quit: Leaving.]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
yomimono has quit [Quit: Leaving]
brson has quit [Quit: leaving]