#mirage on 2014-12-22 — 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:03 brson has quit [Ping timeout: 256 seconds]

00:05 brson has joined #mirage

00:07 brson_ has joined #mirage

00:09 brson has quit [Ping timeout: 252 seconds]

00:11 brson_ has quit [Client Quit]

00:11 brson has joined #mirage

00:27 tlockney is now known as tlockney_away

00:35 cebka has quit [Ping timeout: 258 seconds]

00:35 cebka has joined #mirage

00:36 rgrinberg has quit [Quit: Leaving.]

00:38 AltGr has joined #mirage

00:46 jabroney has joined #mirage

00:55 boadie has quit [Remote host closed the connection]

00:57 brson has quit [Quit: leaving]

00:57 brson has joined #mirage

01:00 rgrinberg has joined #mirage

01:06 nojb has quit [Quit: nojb]

01:16 nojb has joined #mirage

01:38 jabroney has quit [Quit: Leaving.]

01:49 nojb has quit [Quit: nojb]

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

01:52 nojb has joined #mirage

02:11 nojb has quit [Quit: nojb]

02:27 rgrinberg has quit [Quit: Leaving.]

02:28 rgrinberg has joined #mirage

02:43 nojb has joined #mirage

02:57 brson has quit [Quit: leaving]

03:03 brson has joined #mirage

03:04 tlockney_away is now known as tlockney

04:00 nojb has quit [Ping timeout: 240 seconds]

04:04 nojb has joined #mirage

04:07 manud has quit [Quit: Be back later ...]

04:17 brson has quit [Quit: leaving]

04:23 jabroney has joined #mirage

04:37 larhat1 has quit [Quit: Leaving.]

04:39 boadie has joined #mirage

04:39 boadie has quit [Read error: Connection reset by peer]

04:39 boadie has joined #mirage

04:43 jabroney has quit [Quit: Leaving.]

05:05 dobson has quit [Ping timeout: 245 seconds]

05:09 fmu has quit [Ping timeout: 240 seconds]

05:10 fmu has joined #mirage

05:11 dobson has joined #mirage

05:11 rgrinberg has quit [Quit: Leaving.]

05:15 rgrinberg has joined #mirage

06:04 tlockney is now known as tlockney_away

06:15 nojb has quit [Quit: nojb]

06:47 manud has joined #mirage

06:48 manud has quit [Client Quit]

06:49 manud has joined #mirage

07:19 rgrinberg has quit [Quit: Leaving.]

07:20 rgrinberg has joined #mirage

07:20 rgrinberg has quit [Client Quit]

07:20 boadie has quit [Remote host closed the connection]

07:33 larhat has joined #mirage

07:36 seangrove has quit [Ping timeout: 250 seconds]

08:00 larhat has quit [Read error: Connection reset by peer]

08:00 larhat has joined #mirage

08:32 thomasga has joined #mirage

09:11 djs55 has joined #mirage

09:43 manud has quit [Quit: Be back later ...]

09:44 manud has joined #mirage

09:48 manud has quit [Ping timeout: 245 seconds]

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

10:30 nojb has joined #mirage

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

10:43 nojb has quit [Quit: nojb]

10:46 nojb has joined #mirage

10:58 djs55 has joined #mirage

11:07 larhat1 has joined #mirage

11:10 larhat has quit [Ping timeout: 264 seconds]

11:10 nojb has quit [Quit: nojb]

11:41 nojb has joined #mirage

11:49 nojb has quit [Quit: nojb]

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

12:01 thomasga has joined #mirage

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

12:18 boadie has joined #mirage

12:22 jgjl has joined #mirage

12:44 nojb has joined #mirage

12:45 andreas has quit [Quit: Leaving.]

12:55 nojb has quit [Quit: nojb]

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

13:15 jgjl has joined #mirage

13:30 nojb has joined #mirage

14:03 thomasga has joined #mirage

14:08 thomasga1 has joined #mirage

14:08 thomasga has quit [Read error: Connection reset by peer]

14:13 nojb has quit [Quit: nojb]

14:25 nojb has joined #mirage

14:30 nojb has quit [Client Quit]

14:42 nojb has joined #mirage

14:44 jabroney has joined #mirage

14:47 nojb has quit [Quit: nojb]

14:48 nojb has joined #mirage

14:54 nojb has quit [Quit: nojb]

14:59 jgjl has quit [Quit: Textual IRC Client: www.textualapp.com]

15:03 nojb has joined #mirage

15:20 nojb has quit [Quit: nojb]

15:21 <hannes> this opam is way too magic for me.. [ERROR] curl: code 404 while downloading https://opam.ocaml.org/archives/tls.0.3.0+opam.tar.gz <- how does opam put the archives there and why does it 404?

15:22 <hannes> aha, and after another opam update, it decided to use the archives from github.. fair enough..

15:32 nojb has joined #mirage

15:33 jabroney has quit [Quit: Leaving.]

15:59 nojb has quit [Quit: nojb]

16:06 nojb has joined #mirage

16:19 jabroney1 has joined #mirage

16:20 jabroney1 has quit [Client Quit]

16:20 jabroney1 has joined #mirage

16:44 larhat1 has quit [Quit: Leaving.]

17:08 nojb has quit [Quit: nojb]

17:13 rgrinberg has joined #mirage

18:01 MrScout has joined #mirage

18:15 tlockney_away is now known as tlockney

18:21 andreas has joined #mirage

18:25 tlockney is now known as tlockney_away

18:27 tlockney_away is now known as tlockney

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

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

18:45 MrScout has joined #mirage

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

18:58 MrScout has joined #mirage

19:00 MrScout has quit [Read error: Connection reset by peer]

19:01 MrScout has joined #mirage

19:15 nojb has joined #mirage

19:45 nojb has quit [Ping timeout: 256 seconds]

19:55 brson has joined #mirage

19:58 djs551 has joined #mirage

20:04 manud has joined #mirage

20:13 andreas has quit [Quit: Leaving.]

20:29 djs551 has quit [Quit: Leaving.]

20:36 rgrinberg has joined #mirage

20:47 boadie has quit [Remote host closed the connection]

20:58 brson has quit [Quit: leaving]

21:04 djs551 has joined #mirage

21:06 manud has quit [Read error: Connection reset by peer]

21:11 manud has joined #mirage

21:25 nojb has joined #mirage

21:32 brson has joined #mirage

21:59 thomasga1 has quit [Quit: Leaving.]

22:10 thomasga has joined #mirage

22:14 brson has quit [Quit: leaving]

22:18 andreas has joined #mirage

22:39 nojb has quit [Quit: nojb]

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

22:46 rgrinberg has joined #mirage

22:48 tlockney is now known as tlockney_away

23:27 brson has joined #mirage

23:30 brson has quit [Client Quit]

23:33 brson has joined #mirage

23:39 djs551 has quit [Quit: Leaving.]