avsm changed the topic of #mirage to: mirage 2 released! party on!
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
cojy_ has quit [Ping timeout: 250 seconds]
kamalmarhubi__ has quit [Ping timeout: 265 seconds]
kamalmarhubi__ has joined #mirage
thomasga has quit [Quit: Leaving.]
cojy_ has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
mcclurmc has quit [Ping timeout: 265 seconds]
mcclurmc has joined #mirage
rgrinberg has quit [Quit: Leaving.]
vanila has quit [Quit: Leaving]
rgrinberg has joined #mirage
AltGr is now known as Metapioca
rgrinberg1 has joined #mirage
rgrinberg has quit [Ping timeout: 245 seconds]
tlockney is now known as tlockney_away
mcclurmc_ has joined #mirage
mcclurmc has quit [Read error: Connection reset by peer]
mcclurmc_ has quit [Remote host closed the connection]
rgrinberg1 has quit [Quit: Leaving.]
rgrinberg has joined #mirage
rgrinberg has quit [Quit: Leaving.]
djs55 has joined #mirage
dsheets has quit [Ping timeout: 264 seconds]
mort___ has joined #mirage
larhat has joined #mirage
Metapioca has left #mirage [#mirage]
dsheets has joined #mirage
yomimono has joined #mirage
jonludlam has joined #mirage
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
mort___ has quit [Quit: Leaving.]
seangrov` has quit [Ping timeout: 245 seconds]
mort___ has joined #mirage
andreas2 has quit [Quit: Leaving.]
dobson has quit [Ping timeout: 245 seconds]
dobson has joined #mirage
thomasga has joined #mirage
thomasga has quit [Client Quit]
thomasga has joined #mirage
seangrov` has joined #mirage
mort___ has quit [Quit: Leaving.]
andreas1 has joined #mirage
djs55 has quit [Quit: Leaving.]
mort___ has joined #mirage
jonludlam has quit [Quit: Coyote finally caught me]
thomasga has quit [Quit: Leaving.]
gargaml has joined #mirage
rgrinberg has joined #mirage
jonludlam has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
<
gargaml>
I'm trying to compile some examples of the mirage-skeleton and I'm getting
<
gargaml>
- tcpip -> io-page < 1.4.0
<
gargaml>
as a cannot be satisfied dependency…
<
gargaml>
is there a specific trouble with 1.4 ?
thomasga has joined #mirage
mort___1 has joined #mirage
dsheets has quit [Ping timeout: 246 seconds]
mort___ has quit [Ping timeout: 250 seconds]
dsheets has joined #mirage
mort___1 has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
mort___ has joined #mirage
dsheets has quit [Ping timeout: 255 seconds]
jonludlam has quit [Quit: Coyote finally caught me]
<
gargaml>
forget about what I said earlier… It was some opam solver related mysteries
andreas1 has quit [Read error: Connection reset by peer]
mcclurmc has joined #mirage
dsheets has joined #mirage
thomasga has joined #mirage
MrScout_ has joined #mirage
vanila has joined #mirage
thomasga has quit [Quit: Leaving.]
jonludlam has joined #mirage
jonludlam has quit [Quit: Coyote finally caught me]
tlockney_away is now known as tlockney
thomasga has joined #mirage
tlockney is now known as tlockney_away
yomimono has quit [Ping timeout: 246 seconds]
rgrinberg has quit [Quit: Leaving.]
thomasga has quit [Ping timeout: 250 seconds]
dsheets has quit [Ping timeout: 256 seconds]
rgrinberg has joined #mirage
brson has joined #mirage
kdef has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
MrScout__ has joined #mirage
MrScout_ has quit [Ping timeout: 245 seconds]
larhat has quit [Quit: Leaving.]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
MrScout__ has quit [Remote host closed the connection]
MrScout_ has joined #mirage
djs551 has joined #mirage
djs551 has quit [Quit: Leaving.]
tlockney_away is now known as tlockney
jonludlam has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
yiannis_t has left #mirage [#mirage]
thomasga has joined #mirage
rgrinberg has quit [Quit: Leaving.]
mcclurmc has quit [Remote host closed the connection]
rgrinberg has joined #mirage
mariusae has quit [Ping timeout: 272 seconds]
andreas1 has joined #mirage
mcclurmc has joined #mirage