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

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

06:12 yastero has quit [Ping timeout: 240 seconds]

06:12 yastero has joined #mirage

06:42 tlockney is now known as tlockney_away

09:05 djs55 has joined #mirage

10:03 thomasga has joined #mirage

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

12:54 djs55 has joined #mirage

13:36 NoNNaN has quit [Remote host closed the connection]

13:37 NoNNaN has joined #mirage

15:04 philtor_ has joined #mirage

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

15:14 djs55 has joined #mirage

15:18 djs55 has quit [Client Quit]

15:31 philtor_ has quit [Ping timeout: 245 seconds]

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

17:19 djs55 has joined #mirage

18:07 mort___ has joined #mirage

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

19:09 philtor_ has joined #mirage

19:12 mort___ has joined #mirage

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

20:00 miragebot has joined #mirage

20:00 <miragebot> [mirage] avsm pushed 11 new commits to master: http://git.io/yCrl0w

20:00 <miragebot> mirage/master 3c45431 Thomas Gazagnaire: Expose missing clock combinators

20:00 miragebot has left #mirage [#mirage]

20:00 <miragebot> mirage/master aa82c49 Thomas Gazagnaire: Replace internal tuple state by nicer records...

20:00 <miragebot> mirage/master 630902a Thomas Gazagnaire: Make the internal state of configurable modules abstract...

20:22 thomasga has joined #mirage

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

20:48 philtor_ has quit [Ping timeout: 244 seconds]

21:19 mort___ has joined #mirage

21:58 djs55 has joined #mirage

22:00 mort___ has quit [Quit: Leaving.]

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

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

22:55 thomasga has joined #mirage

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

23:20 thomasga has joined #mirage

23:35 AndrewX192 has joined #mirage

23:36 tlockney_away is now known as tlockney

23:40 NoNNaN has quit [Remote host closed the connection]

23:40 <AndrewX192> has anyone got mirage (or for that matter opam) to work/build on Fedora 20?

23:41 NoNNaN has joined #mirage

23:57 tlockney is now known as tlockney_away