#mirage on 2016-07-16 — irc logs at freenode.irclog.whitequark.org

2014-11-12 23:09 avsm changed the topic of #mirage to: mirage 2 released! party on!

00:14 yegods has quit [Remote host closed the connection]

00:20 agarwal1975 has joined #mirage

01:07 rgrinberg has quit [Ping timeout: 240 seconds]

01:24 agarwal1975 has quit [Quit: agarwal1975]

01:24 neuro_sys has left #mirage [#mirage]

02:14 yegods has joined #mirage

02:19 yegods has quit [Ping timeout: 260 seconds]

02:30 seangrove has quit [Ping timeout: 276 seconds]

02:31 brson has quit [Quit: leaving]

02:54 seangrove has joined #mirage

03:15 andreas231 has joined #mirage

03:18 andreas23 has quit [Ping timeout: 272 seconds]

03:44 rgrinberg has joined #mirage

03:48 seangrove has quit [Ping timeout: 264 seconds]

03:53 seangrove has joined #mirage

04:02 seangrove has quit [Ping timeout: 258 seconds]

04:28 seangrove has joined #mirage

05:03 mort___ has joined #mirage

05:51 mort___ has left #mirage [#mirage]

06:54 copy` has quit [Quit: Connection closed for inactivity]

07:21 rgrinberg has quit [Ping timeout: 264 seconds]

08:41 haesbaert has quit [Remote host closed the connection]

09:18 yegods has joined #mirage

09:23 yegods has quit [Ping timeout: 272 seconds]

10:57 yegods has joined #mirage

10:58 yegods_ has joined #mirage

10:58 yegods has quit [Read error: Connection reset by peer]

12:19 StrykerKKD has joined #mirage

12:38 agarwal1975 has joined #mirage

13:12 <StrykerKKD> hi guys, i try to build mirage-www, but run into the same incosistency issue with the site_config file

13:12 <StrykerKKD> Files site_config.cmx

13:12 <StrykerKKD> and /home/stryker/.opam/4.02.3/lib/ocaml/compiler-libs/ocamlcommon.cmxa

13:12 <StrykerKKD> make inconsistent assumptions over interface Types

14:11 rgrinberg has joined #mirage

14:47 StrykerKKD has quit [Quit: Konversation terminated!]

16:26 mort___ has joined #mirage

16:29 seangrove has quit [Read error: Connection reset by peer]

16:29 seangrov` has joined #mirage

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

17:34 rgrinberg has quit [Ping timeout: 246 seconds]

18:27 brson has joined #mirage

19:09 rgrinberg has joined #mirage

19:17 andreas23 has joined #mirage

19:18 andreas23 has quit [Client Quit]

19:18 andreas232 has joined #mirage

19:21 andreas231 has quit [Ping timeout: 276 seconds]

20:24 seangrov` has quit [Read error: Connection reset by peer]

21:00 rgrinberg has quit [Ping timeout: 258 seconds]

23:35 yegods_ has quit []

23:37 yegods has joined #mirage