avsm changed the topic of #mirage to: mirage 2 released! party on!
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 077d852 Hannes Mehnert: pkg-config: share before lib, also only request mirage-solo5 (which has ocaml-freestanding as dependency)
<miragebot> mirage/master 51478fa Hannes Mehnert: Merge pull request #676 from hannesm/sort-pkgconfig...
<miragebot> [mirage] hannesm pushed 2 new commits to master: https://git.io/vXX1H
<mato> fingers crossed. hopefully it goes green, if not i'll look at it first thing in the morning.
<hannes> ack
<mato> hannes: thx. i have to go and sleep. cyt.
<hannes> cu!
<hannes> it linked!
agarwal1975 has joined #mirage
mort___ has quit [Quit: Leaving.]
yomimono has joined #mirage
brson has quit [Quit: leaving]
yomimono has quit [Quit: Leaving]
insitu has joined #mirage
noddy has quit [Ping timeout: 252 seconds]
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
aggelos_ has quit [Ping timeout: 252 seconds]
aggelos_ has joined #mirage
insitu has joined #mirage
rgrinberg has quit [Ping timeout: 260 seconds]
jermar has quit [Ping timeout: 260 seconds]
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
insitu has joined #mirage
insitu has quit [Ping timeout: 260 seconds]
copy` has quit [Quit: Connection closed for inactivity]
insitu has joined #mirage
andreas231 has quit [Quit: Leaving.]
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
insitu has joined #mirage
fgimenez has joined #mirage
fgimenez has joined #mirage
fgimenez has quit [Changing host]
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
insitu has joined #mirage
andreas23 has joined #mirage
jermar has joined #mirage
AltGr has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mort___ has joined #mirage
fgimenez has quit [Ping timeout: 268 seconds]
fgimenez has joined #mirage
fgimenez has joined #mirage
fgimenez has quit [Changing host]
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 31c8421 Hannes Mehnert: Merge pull request #673 from hannesm/pkg-nits...
<miragebot> mirage/master 5a43a2d Hannes Mehnert: install opam files for each package
<miragebot> mirage/master 31a613f Hannes Mehnert: minor nits for pkg.ml
<miragebot> [mirage] hannesm pushed 3 new commits to master: https://git.io/vX11z
noddy has joined #mirage
tg has quit [Excess Flood]
tg has joined #mirage
insitu has joined #mirage
insitu has quit [Client Quit]
fgimenez has quit [Ping timeout: 260 seconds]
fgimenez has joined #mirage
fgimenez has joined #mirage
fgimenez has quit [Changing host]
copy` has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___1 has joined #mirage
mort___ has quit [Ping timeout: 240 seconds]
agarwal1975 has quit [Quit: agarwal1975]
insitu has joined #mirage
mort___1 has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
mort___1 has joined #mirage
mort___ has quit [Ping timeout: 240 seconds]
fgimenez has quit [Ping timeout: 240 seconds]
fgimenez has joined #mirage
mort___1 has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Client Quit]
w10have has joined #mirage
w10have has left #mirage [#mirage]
mort___ has joined #mirage
abeaumont has quit [Ping timeout: 250 seconds]
abeaumont has joined #mirage
yomimono has joined #mirage
mort___ has quit [Quit: Leaving.]
seangrove has joined #mirage
jermar has quit [Remote host closed the connection]
jermar has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mort___ has joined #mirage
andreas23 has quit [Quit: Leaving.]
yomimono has quit [Ping timeout: 248 seconds]
jermar has quit [Ping timeout: 244 seconds]
yomimono has joined #mirage
fgimenez has quit []
abeaumont has quit [Ping timeout: 250 seconds]
abeaumont has joined #mirage
miragebot has joined #mirage
<miragebot> [mirage] yomimono pushed 6 new commits to master: https://git.io/vXMi0
<miragebot> mirage/master 0ed875a Mindy Preston: try using a travis-docker that passes MODE
<miragebot> mirage/master a1cb05a Mindy Preston: ask for sudo
<miragebot> mirage/master 8f642d0 Mindy Preston: need to remove previously created _build-ukvm too
miragebot has left #mirage [#mirage]
insitu has joined #mirage
miragebot has joined #mirage
<miragebot> mirage/master 9963dd9 Anil Madhavapeddy: rename lib/main.ml to lib/mirage_cli.ml to make it easier to discover
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 46d1ab7 Hannes Mehnert: install opam files for each package
<miragebot> mirage/master ab67a13 Hannes Mehnert: minor nits for pkg.ml
<miragebot> [mirage] yomimono force-pushed master from c951637 to c0a582c: https://git.io/vXMPF
seangrove has quit [Remote host closed the connection]
seangrove has joined #mirage
AltGr has left #mirage [#mirage]
brson has joined #mirage
miragebot has joined #mirage
<miragebot> mirage/master b7d1bc3 Mindy Preston: Merge pull request #679 from yomimono/fix-mirage-types-test...
<miragebot> mirage/master d15c10a Mindy Preston: restore opam depext to travis-ci.sh
miragebot has left #mirage [#mirage]
<miragebot> [mirage] yomimono pushed 2 new commits to master: https://git.io/vXM9A
agarwal1975 has joined #mirage
miragebot has joined #mirage
<miragebot> mirage/master 51478fa Hannes Mehnert: Merge pull request #676 from hannesm/sort-pkgconfig...
<miragebot> mirage/master 4200548 Mindy Preston: clarify the intent of io-page library by target
<miragebot> [mirage] yomimono pushed 6 new commits to master: https://git.io/vXMQU
<miragebot> mirage/master f40e433 Mindy Preston: expose 'mode' type in mirage_key.mli
miragebot has left #mirage [#mirage]
<hannes> hmm, these force-pushes are not good... could we pls avoid them, thx
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<yomimono> sorry, my bad :(
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 4ce7b97 Mindy Preston: update CHANGELOG for #553
<miragebot> mirage/master 9ef23a7 Mindy Preston: Merge pull request #680 from yomimono/update-changelog...
<miragebot> [mirage] yomimono pushed 2 new commits to master: https://git.io/vXMdM
seangrove has quit [Ping timeout: 246 seconds]
jermar has joined #mirage
abeaumont has quit [Ping timeout: 250 seconds]
abeaumont has joined #mirage
<hannes> yomimono: thanks for your updates to the CI... does this mean mirage should be good again (modulo the mirage-types runs)?
<yomimono> *should* be. MODE=xen still looks a bit flakey :(
<yomimono> waiting for a complete test run to be sure of that, though
<hannes> ok. the mirage-types thing should go away soon (by following samoht advise to get rid of mirage-types.lwt)... might need a day or two
<yomimono> oof, how likely is that to massively merge conflict with finally doing the module rename in types/ ?
<yomimono> I would hope not very, but not sure?
<hannes> it could certainly be combined
<yomimono> there's a thought
<yomimono> let me see how far I get on other api breakage tonight
<yomimono> (although I suppose there's no dependency on me at all for that, really)
<yomimono> need to go afk for a bit, happy hacking... maybe I'll catch you later
yomimono has quit [Quit: Leaving]
insitu has joined #mirage
beaumonta has joined #mirage
beaumonta is now known as abeaumont_
abeaumont has quit [Ping timeout: 248 seconds]
agarwal1975 has quit [Quit: agarwal1975]
abeaumont_ is now known as abeaumont
agarwal1975 has joined #mirage
noddy has quit [Ping timeout: 244 seconds]
mort___ has quit [Quit: Leaving.]
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
noddy has joined #mirage
mort___ has joined #mirage
yomimono has joined #mirage
demonimin has quit [Remote host closed the connection]
demonimin has joined #mirage
demonimin has quit [Remote host closed the connection]
demonimin has joined #mirage
demonimin has quit [Remote host closed the connection]
demonimin has joined #mirage
vbmithr_ has quit [Quit: leaving]
vbmithr has joined #mirage
jermar has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
rgrinberg has joined #mirage
rgrinberg has quit [Remote host closed the connection]
rgrinberg has joined #mirage
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 91ce0c1 Hannes Mehnert: remove is_xen, was deprecated and is not very useful now that solo5 is in (there is a is_unix)
<miragebot> mirage/master 921f958 Hannes Mehnert: revert if_ is_unix back to match_
<miragebot> mirage/master 46363e7 Hannes Mehnert: re-apply 077d852ef14cc5e00620a22a16b75f1152761f22, lost during qubes merge
<miragebot> [mirage] yomimono pushed 4 new commits to master: https://git.io/vXDom
demonimin has quit [Remote host closed the connection]
agarwal1975 has quit [Ping timeout: 244 seconds]
demonimin has joined #mirage