philtor_ has quit [Ping timeout: 250 seconds]
tlockney is now known as tlockney_away
jprakash has quit [Ping timeout: 264 seconds]
philtor_ has joined #mirage
adsisco_ has joined #mirage
brson has quit [Quit: leaving]
philtor_ has quit [Ping timeout: 264 seconds]
yomimono has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
jprakash has joined #mirage
dsheets has quit [Ping timeout: 272 seconds]
yomimono has quit [Ping timeout: 246 seconds]
hannes` has joined #mirage
kmrhb_ has joined #mirage
phil has joined #mirage
kmrhb has quit [Ping timeout: 250 seconds]
philtor has quit [Ping timeout: 250 seconds]
hannes has quit [Ping timeout: 250 seconds]
phil is now known as Guest74656
kmrhb_ is now known as kmrhb
tlockney_away is now known as tlockney
adsisco_ has quit [Quit: Connection closed for inactivity]
Guest74656 has quit [Quit: Leaving]
Guest74656 has joined #mirage
Guest74656 is now known as philtor
philtor has quit [Ping timeout: 245 seconds]
tlockney is now known as tlockney_away
_whitelogger_ has joined #mirage
_whitelogger has quit [Write error: Broken pipe]
jprakash has quit [Ping timeout: 245 seconds]
jprakash has joined #mirage
jprakash has quit [Quit: Lost terminal]
jprakash has joined #mirage
philtor_ has joined #mirage
philtor_ has quit [Ping timeout: 245 seconds]
AltGr has joined #mirage
rgrinberg has quit [Quit: Leaving.]
jprakash has quit [Quit: leaving]
dsheets has joined #mirage
thomasga has joined #mirage
avsm has joined #mirage
andreas has quit [Quit: Leaving.]
hannes` is now known as hannes
andreas has joined #mirage
<dsheets> avsm, status of ssl on ocaml.org?
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
<avsm> dsheets: not on…
<avsm> you need it right away?
<dsheets> i mean, status of progress
<dsheets> it would be nice to serve assets from ocaml.org to opam.ocaml.org
<avsm> cert availalbe (and installed in opam.o.o vm)
<avsm> ah yes
<dsheets> so... can i get access to ocaml.org?
<avsm> so it just needs a stud installation similar to opam.o.o
<dsheets> ok
<avsm> added ssh key to root@ocaml.org vm
<dsheets> avsm, thx, will report to infra
<avsm> cheers
<thomasga> hum I've got block of ices falling on my terrace … not a good time to go to the lab I guess
<avsm> thomasga: er yes, bit crazy
rgrinberg has joined #mirage
andreas has quit [Quit: Leaving.]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
avsm has quit [Quit: Leaving.]
englishm has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
yomimono has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
<AltGr> thomasga, ICE ??
tlockney_away is now known as tlockney
<thomasga> AltGr: ??
<thomasga> ha yes, ICE
<thomasga> nobody told the weather masters we are still in summer
<AltGr> wow...
avsm has joined #mirage
thomasga1 has joined #mirage
thomasga has quit [Ping timeout: 245 seconds]
so has quit [Ping timeout: 245 seconds]
so has joined #mirage
jprakash has joined #mirage
philtor has joined #mirage
<philtor> mornin
<yomimono> Mornin'.
<philtor> ah, there's someone here.
<philtor> so do you know about the status of Mirage 2.0? Is it actually released?
<philtor> I see mirage 1.2.0 in opam
<philtor> no 2.0
<yomimono> Mirage 1.2.0 is still the latest available. Releases for a bunch of dependencies that were needed for 2.0 are done but there's not a 2.0 out yet
<yomimono> (as I understand it)
<avsm> hey phil, … yup, mindy's right
* avsm interrupts his typing and drinks some tea instead
rgrinberg has quit [Quit: Leaving.]
<avsm> see mail reply
<avsm> CONDUIT, that blasted library. it's almost done
<philtor> Ok, I guess I was confused. I thought 2.0 was released around OSCON time.
<avsm> well, it sortawas
<avsm> the code is all there, just not the tags :-)
<philtor> ah, ok.
<avsm> press releases, they have a life of their own
<philtor> :)
<philtor> avsm: hey, any update on getting Async to work with mirage?
<philtor> I take it that's not going to happen soon...
<philtor> so I figure I need to port to lwt for now.
rgrinberg has joined #mirage
<philtor> avsm: what is CONDUIT?
<philtor> ah, ok, so conduit is part of the harmonization between async and lwt.
andreas has joined #mirage
<avsm> philtor: yeah it also abstracts from which ssl stack, transport layer, and so on
<avsm> the narrow waist of transport configuration, essentially
<philtor> I have acquired a cubieboard 2 so hoping to start trying some Mirage/ARM stuff soon.
<avsm> great! we're just deploying a mesh network in the lab, so xen-arm-builder is working nicely
<avsm> (for the initial sdcard image)
<philtor> ooooohh... mesh network, you say?
<philtor> any docs on that :)
<avsm> it's around 8 hours old :P
<philtor> So now I'm going to have to buy several cubieboards? :)
<avsm> and wifi dongles. and bluetooth :)
brson has joined #mirage
jprakash has quit [Quit: Lost terminal]
thomasga1 has quit [Ping timeout: 260 seconds]
AltGr has left #mirage [#mirage]
thomasga has joined #mirage
jprakash has joined #mirage
avsm has quit [Quit: Leaving.]
brson has quit [Quit: leaving]
brson has joined #mirage
thomasga has quit [Quit: Leaving.]
dsheets has quit [Ping timeout: 260 seconds]
yomimono has quit [Ping timeout: 260 seconds]
dsheets has joined #mirage
yomimono has joined #mirage
jprakash has quit [Ping timeout: 272 seconds]
jprakash has joined #mirage
rgrinberg has quit [Quit: Leaving.]
jprakash has quit [Ping timeout: 255 seconds]
jprakash has joined #mirage
rgrinberg has joined #mirage
rgrinberg has quit [Quit: Leaving.]
philtor_ has joined #mirage
rgrinberg has joined #mirage
brson has quit [Ping timeout: 260 seconds]
boogie has joined #mirage
brson has joined #mirage
englishm_ has joined #mirage
englishm has quit [Ping timeout: 240 seconds]
jprakash has quit [Ping timeout: 245 seconds]
thomasga has joined #mirage
yomimono has quit [Ping timeout: 260 seconds]
yomimono has joined #mirage
englishm_ has quit [Remote host closed the connection]
englishm has joined #mirage
jprakash has joined #mirage
englishm has quit [Remote host closed the connection]
englishm has joined #mirage
englishm has quit [Read error: Connection reset by peer]
yomimono has quit [Ping timeout: 260 seconds]
rgrinberg has quit [Quit: Leaving.]
philtor_ has quit [Ping timeout: 245 seconds]
rgrinberg has joined #mirage
dsheets has quit [Ping timeout: 260 seconds]
philtor has quit [Ping timeout: 272 seconds]