#mirage on 2016-03-30 — 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:18 yegods has quit [Remote host closed the connection]

00:22 yegods has joined #mirage

00:28 wiredsister has quit [Ping timeout: 246 seconds]

00:32 _whitelogger has joined #mirage

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

00:54 brson has quit [Quit: leaving]

01:12 dsheets has joined #mirage

01:16 dsheets has quit [Ping timeout: 250 seconds]

01:30 sigjuice has quit [Ping timeout: 260 seconds]

01:31 sigjuice has joined #mirage

01:34 copumpkin has quit [Ping timeout: 260 seconds]

01:49 copumpkin has joined #mirage

03:01 dsheets has joined #mirage

03:05 dsheets has quit [Ping timeout: 250 seconds]

03:14 noddy has joined #mirage

03:36 wiredsister has joined #mirage

03:58 noddy has quit [Ping timeout: 248 seconds]

04:02 copumpkin has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

04:51 dsheets has joined #mirage

04:55 dsheets has quit [Ping timeout: 250 seconds]

05:22 wiredsister has quit [Ping timeout: 268 seconds]

06:06 dsheets has joined #mirage

06:10 dsheets has quit [Ping timeout: 250 seconds]

06:50 nullcat has joined #mirage

06:51 nullcat has quit [Client Quit]

06:54 nullcat has joined #mirage

07:08 mort___ has joined #mirage

07:18 nullcat has quit [Read error: Connection reset by peer]

07:19 nullcat has joined #mirage

07:21 jermar has joined #mirage

07:25 rudenoise has joined #mirage

07:33 mort___1 has joined #mirage

07:33 mort___1 has quit [Client Quit]

07:34 mort___ has quit [Ping timeout: 248 seconds]

07:56 dsheets has joined #mirage

07:56 dsheets has quit [Remote host closed the connection]

07:56 dsheets has joined #mirage

08:18 rudenoise has quit [Remote host closed the connection]

08:21 rudenoise has joined #mirage

08:26 nullcat has quit [Ping timeout: 250 seconds]

08:39 nullcat has joined #mirage

08:40 noddy has joined #mirage

08:50 mort___ has joined #mirage

09:21 djs55 has joined #mirage

09:45 nullcat has quit [Read error: Connection reset by peer]

09:45 nullcat has joined #mirage

09:53 yegods has joined #mirage

09:57 djs55 has quit [Quit: Leaving.]

10:13 dsheets has quit [Remote host closed the connection]

10:41 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

10:49 dsheets has joined #mirage

11:10 rudenoise has quit [Remote host closed the connection]

11:20 djs55 has joined #mirage

11:38 dsheets has quit [Remote host closed the connection]

11:44 djs55 has quit [Quit: Leaving.]

11:57 nullcat has joined #mirage

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

12:06 yegods has quit [Remote host closed the connection]

12:11 rudenoise has joined #mirage

12:13 noddy has quit [Ping timeout: 240 seconds]

12:15 rudenoise has quit [Ping timeout: 244 seconds]

12:15 noddy has joined #mirage

12:15 mort___ has joined #mirage

12:22 yegods has joined #mirage

12:22 yegods has quit [Remote host closed the connection]

12:40 dsheets has joined #mirage

12:43 djs55 has joined #mirage

12:56 rudenoise has joined #mirage

13:07 aantron has quit [Remote host closed the connection]

13:12 yegods has joined #mirage

13:13 yegods has quit [Remote host closed the connection]

14:13 tomboy65 has quit [Ping timeout: 268 seconds]

14:17 aantron has joined #mirage

14:25 tomboy65 has joined #mirage

14:28 yegods has joined #mirage

14:45 tomboy65 has quit [Ping timeout: 244 seconds]

14:47 tomboy65 has joined #mirage

15:01 seangrove has joined #mirage

15:06 tomboy65 has quit [Ping timeout: 252 seconds]

15:21 tomboy64 has joined #mirage

15:21 yegods has quit [Remote host closed the connection]

15:28 rudenoise has quit []

15:40 seangrove has quit [Read error: Connection reset by peer]

15:40 seangrove has joined #mirage

15:44 brson has joined #mirage

15:47 yegods has joined #mirage

15:58 nullcat has quit [Ping timeout: 248 seconds]

16:01 dsheets has quit [Remote host closed the connection]

16:02 noddy has quit [Ping timeout: 240 seconds]

16:05 jermar has quit [Ping timeout: 244 seconds]

16:07 djs55 has quit [Quit: Leaving.]

16:08 nullcat has joined #mirage

16:16 mort___ has quit [Ping timeout: 268 seconds]

16:17 noddy has joined #mirage

16:42 noddy has quit [Ping timeout: 248 seconds]

16:48 dsheets has joined #mirage

16:51 djs55 has joined #mirage

16:57 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

16:59 yegods has quit [Remote host closed the connection]

17:03 yegods has joined #mirage

17:06 dsheets has quit [Remote host closed the connection]

17:07 dsheets has joined #mirage

17:08 dsheets has quit [Remote host closed the connection]

17:09 dsheets has joined #mirage

17:14 dsheets has quit [Ping timeout: 260 seconds]

17:21 dsheets has joined #mirage

17:26 wiredsister has joined #mirage

17:26 dsheets has quit [Ping timeout: 244 seconds]

17:33 yegods has quit [Remote host closed the connection]

17:43 yegods has joined #mirage

18:00 jermar has joined #mirage

18:02 <seangrove> Hey all, is there anything obvious I'm missing in https://gist.github.com/sgrove/31ff939b7881c235214b6c691d73b15c ?

18:02 <seangrove> Getting e.g. /home/s/.opam/4.02.3/build/ocaml/otherlibs/num/nat.ml:227: undefined reference to `blit_nat' all over the place

18:09 djs55 has quit [Quit: Leaving.]

18:11 jgjl has joined #mirage

18:12 noddy has joined #mirage

18:19 dsheets has joined #mirage

18:38 noddy has quit [Ping timeout: 244 seconds]

18:54 tomboy64 has quit [Ping timeout: 244 seconds]

18:58 tomboy64 has joined #mirage

19:02 jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

19:04 dsheets has quit [Remote host closed the connection]

19:15 dsheets has joined #mirage

19:32 yegods has quit []

20:11 seangrove has quit [Ping timeout: 276 seconds]

21:02 mort___ has joined #mirage

21:07 Algebr has quit [Ping timeout: 260 seconds]

21:33 tomboy64 has quit [Ping timeout: 244 seconds]

21:34 dsheets has quit [Remote host closed the connection]

21:35 tomboy64 has joined #mirage

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

21:37 mort___ has joined #mirage

21:55 wiredsister has quit [Ping timeout: 268 seconds]

22:06 seangrove has joined #mirage

22:19 Bluerise_ has joined #mirage

22:22 Bluerise has quit [Ping timeout: 264 seconds]

22:23 Bluerise_ is now known as Bluerise

22:30 hnrgrgr has joined #mirage

22:35 mort___ has quit [Read error: Connection reset by peer]

22:38 mort___ has joined #mirage

22:52 jermar has quit [Ping timeout: 260 seconds]

23:12 seangrove has quit [Remote host closed the connection]

23:13 seangrove has joined #mirage

23:19 seangrove has quit [Ping timeout: 240 seconds]

23:45 mort___ has quit [Quit: Leaving.]