#mirage on 2014-06-24 — irc logs at freenode.irclog.whitequark.org

00:12 tizoc has joined #mirage

00:52 boogie has quit [Remote host closed the connection]

01:04 <AndrewX192> algoriddle: I got it to work. somehow opam didn't pick up changes to ocaml packages installed by yum, as well as packages installed by pam. I rebuilt opam from sources and got it working

01:58 boogie has joined #mirage

02:01 patojo has joined #mirage

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

04:38 tlockney is now known as tlockney_away

05:33 patojo has quit [Remote host closed the connection]

05:57 mcclurmc has joined #mirage

05:57 mcclurmc_ has quit [Read error: Connection reset by peer]

06:01 noddy has quit [Ping timeout: 252 seconds]

06:07 noddy has joined #mirage

06:34 boogie has joined #mirage

06:38 boogie has quit [Ping timeout: 244 seconds]

07:04 boogie has joined #mirage

07:06 boogie has quit [Read error: Connection reset by peer]

07:06 boogie has joined #mirage

07:11 boogie has quit [Ping timeout: 272 seconds]

07:20 AltGr has joined #mirage

08:06 boogie has joined #mirage

08:10 boogie has quit [Ping timeout: 255 seconds]

08:29 djs55 has joined #mirage

08:34 djs55 has quit [Client Quit]

08:45 jludlam has joined #mirage

09:05 boogie has joined #mirage

09:07 boogie has quit [Read error: Connection reset by peer]

09:07 boogie has joined #mirage

09:12 boogie has quit [Ping timeout: 255 seconds]

09:20 djs55 has joined #mirage

09:20 djs55 has quit [Client Quit]

09:22 djs55 has joined #mirage

09:47 mort___ has joined #mirage

10:05 boogie has joined #mirage

10:10 boogie has quit [Ping timeout: 255 seconds]

11:00 mort___ has quit [Ping timeout: 240 seconds]

11:05 boogie has joined #mirage

11:09 thomasga has joined #mirage

11:10 boogie has quit [Ping timeout: 244 seconds]

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

12:05 boogie has joined #mirage

12:06 jludlam is now known as jonludlam

12:10 boogie has quit [Ping timeout: 240 seconds]

12:33 mort___ has joined #mirage

13:04 <vbmithr> Irminsule users anyone ?

13:05 boogie has joined #mirage

13:10 boogie has quit [Ping timeout: 244 seconds]

13:14 thomasga has joined #mirage

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

13:29 thomasga has joined #mirage

13:38 mort___ has quit [Quit: Leaving.]

14:05 boogie has joined #mirage

14:10 boogie has quit [Ping timeout: 245 seconds]

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

14:22 yomimono has joined #mirage

14:26 tlockney_away is now known as tlockney

15:05 boogie has joined #mirage

15:10 boogie has quit [Ping timeout: 240 seconds]

15:12 yomimono has quit [Ping timeout: 240 seconds]

15:24 tlockney is now known as tlockney_away

15:31 djs55 has quit [Quit: Leaving.]

15:32 thomasga has joined #mirage

15:32 philtor has joined #mirage

15:33 boogie has joined #mirage

15:39 philtor has quit [Ping timeout: 245 seconds]

15:47 djs55 has joined #mirage

15:47 tlockney_away is now known as tlockney

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

17:09 boogie has quit [Quit: Leaving...]

17:09 philtor has joined #mirage

17:55 philtor has quit [Ping timeout: 240 seconds]

17:58 philtor has joined #mirage

18:07 philtor has quit [Ping timeout: 272 seconds]

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

19:00 tlockney is now known as tlockney_away

19:01 tlockney_away is now known as tlockney

19:16 AltGr has left #mirage [#mirage]

19:47 tlockney is now known as tlockney_away

19:49 tlockney_away is now known as tlockney

19:50 rektide has quit [Ping timeout: 276 seconds]

20:11 thomasga has joined #mirage

20:20 philtor has joined #mirage

20:36 philtor has quit [Ping timeout: 244 seconds]

20:47 djs55 has quit [Quit: Leaving.]

20:52 philtor has joined #mirage

20:52 rektide has joined #mirage

20:57 philtor has quit [Ping timeout: 245 seconds]

21:04 philtor has joined #mirage

21:09 philtor has quit [Ping timeout: 255 seconds]

21:42 djs55 has joined #mirage

21:53 djs55 has quit [Quit: Leaving.]

21:56 tlockney is now known as tlockney_away

22:13 tlockney_away is now known as tlockney

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

22:36 jludlam has joined #mirage

22:54 thomasga has joined #mirage

22:54 NoNNaN has quit [Remote host closed the connection]

23:02 jludlam has quit [Ping timeout: 244 seconds]

23:17 philtor has joined #mirage

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

23:33 philtor has quit [Ping timeout: 244 seconds]

23:34 philtor has joined #mirage

23:41 yomimono has joined #mirage

23:52 philtor has quit [Ping timeout: 264 seconds]

23:57 tlockney is now known as tlockney_away