dezzy_ has joined #mirage
hannes` has joined #mirage
dezzy has quit [Ping timeout: 243 seconds]
hannes has quit [Ping timeout: 255 seconds]
rgrinberg has quit [Quit: Leaving.]
philtor has quit [Ping timeout: 260 seconds]
rgrinberg has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
englishm has joined #mirage
rgrinberg has quit [Quit: Leaving.]
philtor has joined #mirage
rgrinberg has joined #mirage
philtor has quit [Ping timeout: 245 seconds]
philtor has joined #mirage
philtor has quit [Ping timeout: 245 seconds]
philtom has joined #mirage
philtom has quit [Ping timeout: 240 seconds]
tlockney is now known as tlockney_away
englishm has quit [Remote host closed the connection]
englishm has joined #mirage
avsm has joined #mirage
dsheets has joined #mirage
AltGr has joined #mirage
rgrinberg has quit [Quit: Leaving.]
hhugo has joined #mirage
dsheets has quit [Read error: Connection reset by peer]
jerith_ is now known as jerith
djs55 has joined #mirage
dsheets has joined #mirage
avsm has quit [Quit: Leaving.]
avsm has joined #mirage
avsm has quit [Quit: Leaving.]
avsm has joined #mirage
andreas1 has joined #mirage
hannes` is now known as hannes
avsm has quit [Quit: Leaving.]
dsheets has quit [Read error: Connection reset by peer]
englishm has quit [Ping timeout: 260 seconds]
avsm has joined #mirage
dsheets has joined #mirage
Magnus3 has joined #mirage
Magnus2 has quit [Ping timeout: 260 seconds]
Armael has joined #mirage
<
Armael>
hm, mirage fails to build on my computer
<
Armael>
(with up to date opam/ocaml 4.01.0)
<
Armael>
oddly cstruct 1.4.0 got installed
<
Armael>
after removing it and manually installing cstruct 0.4.0 it worked
englishm has joined #mirage
<
Armael>
hm well, now I don't have a 'mirage' binary
hhugo has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
hhugo has joined #mirage
avsm has joined #mirage
<
djs55>
mirage.0.4.0 seems very old
<
djs55>
my 'opam info mirage' has available-versions: 0.4.0, 0.4.1, 0.5.0, 0.6.0, 0.6.1, 0.7.2, 0.8.0, 0.8.1, 0.9.0, 0.9.1, 0.9.2, 0.9.3, 0.9.4, 0.9.5, 0.9.6, 0.9.7, 0.9.8, 0.10.0, 1.0.0, 1.0.1, 1.0.2, 1.0.3, 1.0.4, 1.1.0, 1.1.1, 1.1.2, 1.1.3, 1.2.0
<
djs55>
try "opam install mirage.1.2.0"
avsm has quit [Client Quit]
thomasga has joined #mirage
gperetin has quit [Ping timeout: 260 seconds]
IbnFirnas has quit [*.net *.split]
thomasga has quit [Client Quit]
gperetin has joined #mirage
IbnFirnas has joined #mirage
IbnFirnas has quit [Ping timeout: 244 seconds]
gperetin has quit [Ping timeout: 260 seconds]
gperetin has joined #mirage
thomasga has joined #mirage
IbnFirnas has joined #mirage
rgrinberg has joined #mirage
avsm has joined #mirage
djs55 has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
avsm has joined #mirage
avsm has quit [Read error: Connection reset by peer]
avsm has joined #mirage
avsm has quit [Client Quit]
philtom has joined #mirage
englishm has quit [Remote host closed the connection]
englishm has joined #mirage
tlockney_away is now known as tlockney
thomasga has quit [Quit: Leaving.]
hhugo has quit [Quit: Leaving.]
hhugo has joined #mirage
dsheets has quit [Ping timeout: 245 seconds]
djs55 has joined #mirage
andreas1 has quit [Quit: Leaving.]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
englishm has quit [Remote host closed the connection]
englishm has joined #mirage
AltGr has left #mirage [#mirage]
philtor has joined #mirage
brson has joined #mirage
hhugo has quit [Quit: Leaving.]
djs55 has quit [Quit: Leaving.]
englishm_mobile has joined #mirage
englishm_mobile has quit [Client Quit]
tlockney is now known as tlockney_away
avsm has joined #mirage
tlockney_away is now known as tlockney
avsm has quit [Quit: Leaving.]
avsm has joined #mirage
avsm has quit [Client Quit]
philtor has quit [Ping timeout: 260 seconds]
dezzy_ is now known as dezzy
djs55 has joined #mirage
dsheets has joined #mirage
englishm has quit [Remote host closed the connection]
englishm has joined #mirage
djs55 has quit [Quit: Leaving.]
englishm has quit [Ping timeout: 264 seconds]
philtor has joined #mirage
hhugo has joined #mirage
hhugo has quit [Quit: Leaving.]