#mirage on 2014-08-25 — irc logs at freenode.irclog.whitequark.org

00:04 brson_ has quit [Ping timeout: 255 seconds]

00:05 brson has joined #mirage

00:17 brson has quit [Quit: leaving]

00:17 brson has joined #mirage

00:18 philtor_ has joined #mirage

00:36 philtor_ has quit [Ping timeout: 250 seconds]

00:46 thomasga has quit [Quit: Leaving.]

00:57 englishm has joined #mirage

00:59 brson has quit [Ping timeout: 245 seconds]

02:39 rgrinberg has joined #mirage

03:08 englishm has quit [Remote host closed the connection]

03:09 englishm has joined #mirage

04:12 englishm has quit [Remote host closed the connection]

04:13 englishm has joined #mirage

04:41 rgrinberg has quit [Quit: Leaving.]

04:54 tlockney is now known as tlockney_away

05:32 rgrinberg has joined #mirage

08:18 rgrinberg has quit [Quit: Leaving.]

09:13 thomasga has joined #mirage

09:32 djs55 has joined #mirage

09:52 andreas has joined #mirage

09:55 andreas1 has quit [Ping timeout: 260 seconds]

10:17 dsheets has joined #mirage

10:40 thomasga has quit [Quit: Leaving.]

10:49 thomasga has joined #mirage

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

12:21 djs55 has joined #mirage

12:33 englishm has quit [Ping timeout: 260 seconds]

13:03 maker has quit [Ping timeout: 240 seconds]

13:20 englishm has joined #mirage

13:34 djs55 has quit [Quit: Leaving.]

14:31 yastero_ has joined #mirage

14:31 vbmithr_ has joined #mirage

14:32 vbmithr has quit [Ping timeout: 260 seconds]

14:32 yastero has quit [Ping timeout: 260 seconds]

14:36 tg has quit [Ping timeout: 245 seconds]

14:40 tg has joined #mirage

14:42 maker has joined #mirage

14:45 rgrinberg has joined #mirage

14:57 tlockney_away is now known as tlockney

15:08 englishm has quit [Remote host closed the connection]

15:08 englishm has joined #mirage

15:10 englishm has quit [Remote host closed the connection]

15:11 englishm has joined #mirage

15:22 tlockney is now known as tlockney_away

15:25 tlockney_away is now known as tlockney

15:46 tlockney is now known as tlockney_away

15:50 tlockney_away is now known as tlockney

16:21 rgrinberg has quit [Quit: Leaving.]

16:29 djs55 has joined #mirage

16:33 rgrinberg has joined #mirage

16:53 rgrinberg has quit [Quit: Leaving.]

16:54 rgrinberg has joined #mirage

17:11 brson has joined #mirage

17:19 philtor_ has joined #mirage

17:25 rgrinberg has quit [Quit: Leaving.]

18:02 andreas has quit [Quit: Leaving.]

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

18:19 dbuenzli has joined #mirage

18:22 <dbuenzli> Anyone has a pin tip on how to install ocp-indent after the last ocp-build update ? (https://github.com/ocaml/opam-repository/pull/2499#issuecomment-53294037)

18:46 <dbuenzli> For a temporary solution here: https://github.com/ocaml/opam-repository/issues/2500#issuecomment-53309101

18:48 dbuenzli has quit [Quit: Leaving.]

19:31 rgrinberg has joined #mirage

19:33 tlockney is now known as tlockney_away

19:39 djs55 has joined #mirage

20:05 englishm has quit [Remote host closed the connection]

20:06 englishm has joined #mirage

20:08 englishm has quit [Remote host closed the connection]

20:08 englishm has joined #mirage

20:32 tlockney_away is now known as tlockney

20:35 philtor_ has quit [Ping timeout: 264 seconds]

21:12 thomasga has quit [Quit: Leaving.]

21:16 yastero_ is now known as yastero

21:22 thomasga has joined #mirage

21:50 thomasga has quit [Quit: Leaving.]

22:33 englishm has quit [Remote host closed the connection]

22:33 englishm has joined #mirage

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

22:57 rgrinberg has quit [Quit: Leaving.]

23:31 rgrinberg has joined #mirage

23:52 thomasga has joined #mirage

23:59 dsheets has quit [Ping timeout: 240 seconds]