#mirage on 2015-04-15 — 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 rgrinberg has joined #mirage

00:13 rgrinberg has quit [Ping timeout: 245 seconds]

00:19 brson has quit [Ping timeout: 244 seconds]

00:20 rgrinberg has joined #mirage

00:23 tlockney is now known as tlockney_away

00:57 AltGr has joined #mirage

01:03 seangrove has joined #mirage

01:16 avsm has joined #mirage

01:33 kdef has quit [Quit: Leaving]

01:59 MrScout has quit [Ping timeout: 245 seconds]

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

02:05 tlockney_away is now known as tlockney

02:39 rgrinberg has joined #mirage

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

02:43 seangrove has joined #mirage

03:09 seangrove has quit [Read error: Connection reset by peer]

04:14 kdef has joined #mirage

04:15 kdef has quit [Client Quit]

04:50 tlockney is now known as tlockney_away

05:07 _whitelogger has quit [Ping timeout: 272 seconds]

05:22 _whitelogger has joined #mirage

06:47 avsm has quit [Quit: Leaving.]

07:17 avsm has joined #mirage

07:24 avsm has quit [Quit: Leaving.]

07:50 thomasga has joined #mirage

08:22 rgrinberg has quit [Ping timeout: 240 seconds]

08:42 mort___ has joined #mirage

08:57 larhat has joined #mirage

09:14 jonludlam has joined #mirage

09:23 thomasga has quit [Quit: Leaving.]

09:37 AltGr has left #mirage [#mirage]

09:38 andreas1 has joined #mirage

09:45 thomasga has joined #mirage

09:45 dsheets has quit [Ping timeout: 256 seconds]

09:49 rgrinberg has joined #mirage

09:54 rgrinberg has quit [Ping timeout: 264 seconds]

10:12 dsheets has joined #mirage

10:50 rgrinberg has joined #mirage

10:55 rgrinberg has quit [Ping timeout: 246 seconds]

11:01 thomasga has quit [Quit: Leaving.]

11:19 thomasga has joined #mirage

11:20 thomasga has quit [Client Quit]

12:14 larhat1 has joined #mirage

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

12:24 thomasga has joined #mirage

12:36 rgrinberg has joined #mirage

12:42 rgrinberg has quit [Ping timeout: 272 seconds]

13:05 jonludlam has quit [Ping timeout: 264 seconds]

13:06 rgrinberg has joined #mirage

13:07 thomasga has quit [Ping timeout: 265 seconds]

13:10 thomasga has joined #mirage

13:19 jonludlam has joined #mirage

13:21 javamonn has joined #mirage

13:22 javamonn has quit [Remote host closed the connection]

13:23 javamonn has joined #mirage

13:25 jonludlam has quit [Ping timeout: 264 seconds]

13:26 thomasga has quit [Quit: Leaving.]

13:27 javamonn has quit [Ping timeout: 252 seconds]

13:33 javamonn has joined #mirage

13:36 jonludlam has joined #mirage

13:52 thomasga has joined #mirage

13:55 fedjo has quit [Read error: Connection reset by peer]

13:56 rgrinberg has quit [Ping timeout: 276 seconds]

14:10 rgrinberg has joined #mirage

15:11 rgrinberg has quit [Ping timeout: 240 seconds]

15:16 rgrinberg has joined #mirage

15:17 kdef has joined #mirage

15:19 kdef has quit [Client Quit]

15:41 mort___ has quit [Ping timeout: 256 seconds]

15:57 brson has joined #mirage

16:02 javamonn has quit [Remote host closed the connection]

16:07 javamonn has joined #mirage

16:09 javamonn has quit [Remote host closed the connection]

16:10 javamonn has joined #mirage

16:16 javamonn has quit [Remote host closed the connection]

16:18 javamonn has joined #mirage

16:19 javamonn has quit [Remote host closed the connection]

16:20 javamonn has joined #mirage

16:21 MrScout_ has joined #mirage

16:22 javamonn has quit [Remote host closed the connection]

16:23 javamonn has joined #mirage

16:24 andreas1 has quit [Quit: Leaving.]

16:24 MrScout_ has quit [Remote host closed the connection]

16:28 javamonn has quit [Ping timeout: 264 seconds]

16:41 javamonn has joined #mirage

16:45 javamonn has quit [Remote host closed the connection]

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

16:55 javamonn has joined #mirage

17:00 kdef has joined #mirage

17:00 avsm has joined #mirage

17:06 <hannes> avsm: there I fixed some of your reported issues!

17:06 <avsm> hannes: yay! will work on it tonight, been at an event all day

17:06 MrScout has joined #mirage

17:06 <hannes> 1 / 2 / 5 is unclear to me how to fix (PR welcome ;)

17:11 <avsm> 2 is just to put in a .install file as seen in opam-repository

17:11 <avsm> it takes care of installing binaries

17:11 <avsm> rather than manual commands

17:11 <avsm> can go straight in repo

17:12 <avsm> i can take a look later

17:17 avsm has quit [Quit: Leaving.]

17:18 javamonn has quit [Remote host closed the connection]

17:18 javamonn has joined #mirage

17:23 larhat1 has quit [Quit: Leaving.]

17:38 rgrinberg has quit [Ping timeout: 248 seconds]

17:39 rgrinberg has joined #mirage

17:53 rgrinberg has quit [Quit: WeeChat 1.1.1]

17:57 thomasga has quit [Quit: Leaving.]

18:01 MrScout has quit [Remote host closed the connection]

18:03 MrScout has joined #mirage

18:24 dsheets has quit [Ping timeout: 248 seconds]

18:36 tlockney_away is now known as tlockney

18:38 mort___ has joined #mirage

18:40 dsheets has joined #mirage

19:01 MrScout has quit [Remote host closed the connection]

19:02 MrScout has joined #mirage

19:13 jonludlam has joined #mirage

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

19:24 avsm has joined #mirage

19:39 avsm has quit [Quit: Leaving.]

19:46 mort___ has quit [Quit: Leaving.]

19:58 mort___ has joined #mirage

20:01 mort___ has quit [Client Quit]

20:06 thomasga has joined #mirage

20:12 andreas has joined #mirage

20:17 andreas has quit [Client Quit]

20:18 andreas has joined #mirage

20:22 javamonn has quit [Read error: Connection reset by peer]

20:22 javamonn has joined #mirage

21:19 avsm has joined #mirage

22:01 tlockney is now known as tlockney_away

22:03 tlockney_away is now known as tlockney

22:04 javamonn has quit [Remote host closed the connection]

22:07 avsm has quit [Quit: Leaving.]

22:10 avsm has joined #mirage

22:13 jonludlam has joined #mirage

22:31 tlockney is now known as tlockney_away

22:36 thomasga has quit [Quit: Leaving.]

22:40 thomasga has joined #mirage

22:47 thomasga has quit [Quit: Leaving.]

22:48 thomasga has joined #mirage

23:06 yiannis_t has quit [Ping timeout: 252 seconds]

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

23:08 yiannis_t has joined #mirage

23:16 jonludlam has quit [Ping timeout: 256 seconds]

23:21 andreas has quit [Ping timeout: 256 seconds]

23:34 j_king_ has joined #mirage

23:35 rektide_ has joined #mirage

23:38 j_king has quit [Ping timeout: 250 seconds]

23:38 rektide has quit [Ping timeout: 250 seconds]

23:39 so has quit [Ping timeout: 248 seconds]

23:39 so has joined #mirage

23:49 brson has quit [Quit: leaving]