#mirage on 2015-06-14 — 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:09 jonludlam has quit [Ping timeout: 246 seconds]

00:30 brson has quit [Quit: leaving]

00:38 MrScout_ has quit [Ping timeout: 256 seconds]

00:46 lobo has quit [Quit: leaving]

00:54 mcclurmc has quit [Remote host closed the connection]

00:57 mcclurmc has joined #mirage

01:01 mcclurmc has quit [Remote host closed the connection]

01:12 nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

02:07 rgrinberg has joined #mirage

02:33 brson has joined #mirage

02:40 rgrinberg has quit [Ping timeout: 264 seconds]

02:40 brson has quit [Quit: leaving]

02:40 brson has joined #mirage

02:46 brson has quit [Quit: leaving]

02:46 brson has joined #mirage

03:42 andreas has joined #mirage

03:44 andreas1 has quit [Ping timeout: 264 seconds]

04:02 mcclurmc has joined #mirage

04:06 mcclurmc has quit [Ping timeout: 265 seconds]

04:08 brson has quit [Remote host closed the connection]

05:06 tlockney_away is now known as tlockney

05:16 rgrinberg has joined #mirage

05:45 tlockney is now known as tlockney_away

05:46 mcclurmc has joined #mirage

05:47 rgrinberg has quit [Ping timeout: 264 seconds]

06:13 rgrinberg has joined #mirage

07:01 mcclurmc has quit [Remote host closed the connection]

07:08 rgrinberg has quit [Ping timeout: 246 seconds]

07:12 rgrinberg has joined #mirage

07:33 rgrinberg has quit [Ping timeout: 246 seconds]

08:29 rgrinberg has joined #mirage

08:35 rgrinberg has quit [Ping timeout: 264 seconds]

08:43 yomimono_ has quit [Ping timeout: 252 seconds]

09:02 rgrinberg has joined #mirage

09:10 rgrinberg has quit [Ping timeout: 256 seconds]

09:23 yomimono_ has joined #mirage

11:20 yomimono_ has quit [Ping timeout: 252 seconds]

11:21 yomimono_ has joined #mirage

11:28 yomimono_ has quit [Ping timeout: 265 seconds]

11:54 rgrinberg has joined #mirage

11:59 rgrinberg has quit [Ping timeout: 256 seconds]

12:49 larhat has joined #mirage

13:30 vpm has quit [Quit: co'o]

13:33 vpm has joined #mirage

13:43 rgrinberg has joined #mirage

13:47 rgrinberg has quit [Ping timeout: 252 seconds]

14:00 nullcat has joined #mirage

14:01 nullcat__ has joined #mirage

14:04 nullcat has quit [Ping timeout: 252 seconds]

14:13 jonludlam has joined #mirage

14:37 mcclurmc has joined #mirage

14:45 mcclurmc has quit [Ping timeout: 246 seconds]

14:52 nullcat__ has quit [Read error: Connection reset by peer]

15:01 _whitelogger has joined #mirage

15:13 rgrinberg has joined #mirage

15:18 rgrinberg has quit [Ping timeout: 252 seconds]

15:57 larhat has quit [Read error: Connection reset by peer]

15:57 larhat has joined #mirage

16:13 seangrove has quit [Remote host closed the connection]

16:16 seangrove has joined #mirage

16:33 jonludlam has quit [Ping timeout: 264 seconds]

17:02 rgrinberg has joined #mirage

17:07 rgrinberg has quit [Ping timeout: 256 seconds]

17:36 rgrinberg1 has joined #mirage

17:46 mcclurmc has joined #mirage

17:50 yomimono has joined #mirage

17:50 nullcat has joined #mirage

17:51 mcclurmc has quit [Ping timeout: 244 seconds]

18:32 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

18:35 rgrinberg1 has quit [Ping timeout: 252 seconds]

18:40 rgrinberg1 has joined #mirage

18:47 mcclurmc has joined #mirage

18:51 mcclurmc has quit [Ping timeout: 245 seconds]

19:51 nullcat_ has joined #mirage

20:18 rgrinberg1 has quit [Ping timeout: 264 seconds]

20:33 seangrove has quit [Ping timeout: 265 seconds]

20:39 tlockney_away is now known as tlockney

20:49 mcclurmc has joined #mirage

20:50 lobo has joined #mirage

20:53 mcclurmc has quit [Ping timeout: 265 seconds]

21:15 rgrinberg1 has joined #mirage

21:20 rgrinberg1 has quit [Ping timeout: 245 seconds]

21:36 larhat has quit [Quit: Leaving.]

21:50 larhat has joined #mirage

21:56 rgrinberg1 has joined #mirage

22:08 <hannes> raboof: which mirage / gmp-xen / zarith-xen do you have? (or: does opam update && opam upgrade help?)

22:33 rgrinberg1 has quit [Ping timeout: 256 seconds]

22:33 larhat has quit [Quit: Leaving.]

22:36 larhat has joined #mirage

22:40 brson has joined #mirage

22:49 lobo has quit [Ping timeout: 276 seconds]

23:00 rgrinberg1 has joined #mirage

23:06 larhat has quit [Quit: Leaving.]

23:07 nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

23:07 yomimono has quit [Quit: Leaving]

23:57 brson has quit [Quit: leaving]