hannes changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: Aug 3rd) - next call August 8th 16:00 BST https://github.com/mirage/mirage-www/wiki/Call-Agenda - retreat 3rd-10th October http://retreat.mirage.io - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.1 is released - happy hacking!
mort___ has joined #mirage
<mort___> hannes: there?
<mort___> was just pointing someone at https://hannes.nqsb.io/Posts/BottomUp and noticed that the svg figs hosted in your lab filespace seem to have gone walkabout. any ideas?
<mort___> (pity, they were useful figures...)
mort___1 has joined #mirage
mort___ has quit [Read error: Connection reset by peer]
mort___1 has left #mirage [#mirage]
furrymcgee has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
thomasga has joined #mirage
<thomasga> ola
<reynir> hi
<thomasga> reynir: thanks for your patch on mirage-xen-ocaml (to build with opam2) it's merged and released :-)
<reynir> \o/ thanks for merging!
<mato> thomasga: i merged your mirage-www pr
<thomasga> yay!
<thomasga> thanks :-)
<reynir> There's another xen mirage package that doesn't work on opam2 because it uses curl to download an archive (libm) at install time :/
mort___ has quit [Quit: Leaving.]
<mato> that could be fixed by doing what ocaml-freestanding does (vendor openlibm with git subtree)
<thomasga> reynir: I've fixed it already :p
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Client Quit]
demonimin has quit [Remote host closed the connection]
demonimin has joined #mirage
demonimin has quit [Remote host closed the connection]
thomasga has left #mirage [#mirage]