#mirage on 2014-10-30 — irc logs at freenode.irclog.whitequark.org

00:00 yomimono has quit [Ping timeout: 245 seconds]

00:16 brson has quit [Quit: leaving]

00:16 brson has joined #mirage

00:57 tlockney_away is now known as tlockney

01:12 tlockney is now known as tlockney_away

01:18 cr409 has quit [Ping timeout: 258 seconds]

01:24 mcclurmc has quit [Remote host closed the connection]

02:07 mcclurmc has joined #mirage

02:14 cr409 has joined #mirage

02:19 cr409 has quit [Ping timeout: 255 seconds]

03:03 tlockney_away is now known as tlockney

04:13 brson has quit [Quit: leaving]

04:30 mcclurmc has quit [Remote host closed the connection]

04:32 mcclurmc has joined #mirage

05:17 mcclurmc has quit [Remote host closed the connection]

05:22 mcclurmc has joined #mirage

05:22 mcclurmc has quit [Remote host closed the connection]

05:22 mcclurmc has joined #mirage

05:38 tlockney is now known as tlockney_away

07:43 hhugo1 has joined #mirage

08:12 hhugo1 has quit [Quit: Leaving.]

08:37 cr409 has joined #mirage

08:55 cr409 has quit [Ping timeout: 255 seconds]

08:59 cr409 has joined #mirage

09:10 cr409 has quit [Ping timeout: 258 seconds]

09:46 dsheets has joined #mirage

09:53 whirm1 has joined #mirage

10:09 djs55 has joined #mirage

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

11:21 djs55 has joined #mirage

11:28 andreas1 has joined #mirage

11:55 jonludlam has joined #mirage

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

12:41 chambart has joined #mirage

13:15 djs55 has joined #mirage

13:34 yomimono has joined #mirage

14:04 mcclurmc has quit [Remote host closed the connection]

14:05 mcclurmc has joined #mirage

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

14:16 djs55 has joined #mirage

14:30 thomasga has joined #mirage

14:44 <hannes> so, tls-0.2 depends on mirage-2 (well, at least FLOW being merged, which is not the case in the latest release I believe)

14:45 <hannes> how to serialize the releases in opam?

14:47 <thomasga> just comment on the PR

14:47 <thomasga> and hope that the merger will read it :p

14:48 djs55 has quit [Quit: Leaving.]

14:49 <hannes> well, I'd appreciate some way to not break user installations.. maybe for now disable mirage with tls, and introduce the depopt once mirage-2 is there?

14:49 <thomasga> that sounds sensible

15:16 cr409 has joined #mirage

15:16 djs55 has joined #mirage

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

15:53 <hannes> https://github.com/ocaml/opam-repository/pull/2975 let's see what travis says

15:57 yomimono has quit [Ping timeout: 256 seconds]

16:06 djs55 has joined #mirage

16:06 djs55 has quit [Client Quit]

16:07 brson has joined #mirage

16:28 chambart has quit [Ping timeout: 244 seconds]

16:50 djs55 has joined #mirage

16:54 mcclurmc has quit [Remote host closed the connection]

17:07 mcclurmc has joined #mirage

17:20 cr409 has quit [Ping timeout: 245 seconds]

17:44 yomimono has joined #mirage

17:46 tlockney_away is now known as tlockney

17:48 tlockney is now known as tlockney_away

17:55 andreas1 has quit [Ping timeout: 255 seconds]

18:04 whirm1 has quit [Quit: WeeChat 1.0.1]

18:29 dsheets has quit [Ping timeout: 255 seconds]

18:32 thomasga has quit [Ping timeout: 265 seconds]

18:38 MrScout has joined #mirage

18:39 mcclurmc has quit [Remote host closed the connection]

18:46 thomasga has joined #mirage

18:49 <hannes> thomasga: thx for merging! :)

18:50 <thomasga> you're welcome, I like clicking on green buttons

18:52 <hannes> and now your git release should be unblocked :)

18:53 mcclurmc has joined #mirage

18:59 tlockney_away is now known as tlockney

19:10 yomimono has quit [Ping timeout: 264 seconds]

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

19:30 yomimono has joined #mirage

19:34 seangrove has joined #mirage

20:59 MrScout_ has joined #mirage

20:59 djs55 has joined #mirage

21:00 hhugo1 has joined #mirage

21:03 MrScout has quit [Ping timeout: 265 seconds]

21:03 MrScout_ has quit [Ping timeout: 265 seconds]

21:05 MrScout has joined #mirage

21:05 dsheets has joined #mirage

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

21:28 dsheets has quit [Ping timeout: 264 seconds]

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

21:40 hhugo1 has quit [Quit: Leaving.]

21:48 MrScout has joined #mirage

21:48 MrScout has quit [Remote host closed the connection]

21:51 tlockney is now known as tlockney_away

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

22:10 jonludlam has quit [Quit: Coyote finally caught me]

22:14 hhugo1 has joined #mirage

22:28 nojb has joined #mirage

22:33 brson has quit [Ping timeout: 265 seconds]

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

22:56 jonludlam has joined #mirage

22:57 brson has joined #mirage

22:58 nojb has quit [Quit: nojb]

23:10 cr409 has joined #mirage

23:11 MrScout has joined #mirage

23:32 MrScout has quit [Remote host closed the connection]

23:48 hhugo1 has quit [Quit: Leaving.]

23:53 thomasga has joined #mirage

23:55 nojb has joined #mirage