#mirage on 2017-03-20 — irc logs at freenode.irclog.whitequark.org

2017-02-23 21:16 avsm changed the topic of #mirage to: Good news everyone! Mirage 3.0 released!

02:38 <contrapumpkin> find myself accidentally packaging a large chunk of mirage in nixpkgs :)

04:04 <contrapumpkin> trying to build mirage-protocols and am having some trouble

04:04 <contrapumpkin> File "src/mirage_protocols.mli", line 34, characters 28-48: Error: Unbound type constructor result

04:05 <contrapumpkin> seems to appear in here too https://ci.mirage.io/log/saved/docker-build-2ee611e9898738e915edeaa3d95d3003/e663fb2ff3589924d6e6a4371fc9b7a2b8ca8750

04:25 <contrapumpkin> oh perhaps I just need a newer ocaml

04:37 <contrapumpkin> aha, yes that was it

06:12 _whitelogger has joined #mirage

06:36 julio_ has quit [Remote host closed the connection]

07:16 dograt_ has quit [Ping timeout: 240 seconds]

07:25 dograt has joined #mirage

07:39 argent_smith has joined #mirage

07:56 <reynir> Hmm, there's no Mirage.conduit_direct for ipv6?

09:01 AltGr has joined #mirage

09:06 mort___ has joined #mirage

09:12 mort___ has quit [Quit: Leaving.]

09:17 mort___ has joined #mirage

09:29 mort___ has quit [Quit: Leaving.]

09:34 mort___ has joined #mirage

09:39 julio_ has joined #mirage

10:47 mort___ has quit [Quit: Leaving.]

10:51 mort___ has joined #mirage

13:17 <contrapumpkin> I think the qcow readme on https://github.com/mirage/ocaml-qcow/blob/master/README.md is out of date. I think Qcow.make now takes two parameters

15:19 copy` has joined #mirage

17:12 demonimin has quit [Remote host closed the connection]

17:16 demonimin has joined #mirage

17:31 brson has joined #mirage

18:00 _whitelogger has joined #mirage

18:25 tomboy64 has quit [Remote host closed the connection]

18:25 tomboy64 has joined #mirage

18:42 mort___ has quit [Quit: Leaving.]

19:00 mort___ has joined #mirage

19:04 mort___ has quit [Client Quit]

20:15 syntiux_ has joined #mirage

20:16 mort___ has joined #mirage

20:16 haesbaer1 has joined #mirage

20:16 smondet`` has joined #mirage

20:17 vbmithr_ has joined #mirage

20:18 sternens1emann has joined #mirage

20:20 caw__ has joined #mirage

20:23 mato1 has joined #mirage

20:24 lars_kurth_ has joined #mirage

20:29 AltGr has quit [*.net *.split]

20:29 mato has quit [*.net *.split]

20:29 lars_kurth has quit [*.net *.split]

20:29 caw has quit [*.net *.split]

20:29 smondet` has quit [*.net *.split]

20:29 syntiux has quit [*.net *.split]

20:29 haesbaert has quit [*.net *.split]

20:29 dinosaure has quit [*.net *.split]

20:29 vbmithr has quit [*.net *.split]

20:29 pyvpx has quit [*.net *.split]

20:29 sternenseemann has quit [*.net *.split]

20:31 mort___ has quit [Quit: Leaving.]

20:33 dinosaure has joined #mirage

20:34 caw__ is now known as caw

20:34 sternens1emann is now known as sternenseemann

21:07 argent_smith has quit [Quit: Leaving.]

22:40 mort___ has joined #mirage

22:53 mort___ has quit [Quit: Leaving.]