avsm changed the topic of #mirage to: mirage 2 released! party on!
AltGr has joined #mirage
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
MrScout has quit [Ping timeout: 248 seconds]
MrScout has joined #mirage
raboof has quit [Ping timeout: 248 seconds]
seangrove has quit [Ping timeout: 248 seconds]
seangrove has joined #mirage
nullcat_ has joined #mirage
raboof has joined #mirage
mcclurmc has quit [Remote host closed the connection]
tlockney is now known as tlockney_away
mcclurmc has joined #mirage
mcclurmc has quit [Remote host closed the connection]
mort___ has joined #mirage
MrScout has quit [Ping timeout: 248 seconds]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
AltGr has left #mirage [#mirage]
mort___ has quit [Quit: Leaving.]
reynir is now known as bodie
bodie is now known as reynir
dongcarl has joined #mirage
<
dongcarl>
does anyone know which package i need to install to get $OPAM_DIR/lib/mirage-xen/libocaml.a and $OPAM_DIR/lib/mirage-xen/libxencaml.a
<
dongcarl>
were they deprecated?
<
Drup>
dongcarl: you should probably follow mirage's tutorial instead, it's more up to date
<
dongcarl>
Yeah looks like there's been a major overhaul
lobo has joined #mirage
tlockney_away is now known as tlockney
justincormack has quit [Ping timeout: 244 seconds]
mcclurmc has joined #mirage
tlockney is now known as tlockney_away
mcclurmc has quit [Remote host closed the connection]
dongcarl has quit [Quit: Leaving...]
MrScout has joined #mirage
gprano has quit [Remote host closed the connection]
dongcarl has joined #mirage
dongcarl has quit [Remote host closed the connection]
dongcarl has joined #mirage
MrScout has quit [Ping timeout: 248 seconds]
dongcarl has joined #mirage
dongcarl has quit [Remote host closed the connection]
dongcarl has joined #mirage
dongcarl has quit [Remote host closed the connection]
dongcarl has joined #mirage
dongcarl has quit [Ping timeout: 260 seconds]
lobo has quit [Ping timeout: 265 seconds]
lobo has joined #mirage
tlockney_away is now known as tlockney
nullcat_ has joined #mirage
tlockney is now known as tlockney_away
DrWhax has left #mirage [#mirage]
brson has joined #mirage
lobo has quit [Quit: leaving]