#mirage on 2014-09-04 — irc logs at freenode.irclog.whitequark.org

00:08 dezzy_ has joined #mirage

00:08 hannes` has joined #mirage

00:12 dezzy has quit [Ping timeout: 243 seconds]

00:12 hannes has quit [Ping timeout: 255 seconds]

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

01:00 philtor has quit [Ping timeout: 260 seconds]

01:20 rgrinberg has joined #mirage

01:45 rgrinberg has quit [Quit: Leaving.]

01:57 rgrinberg has joined #mirage

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

02:09 rgrinberg has joined #mirage

02:54 englishm has joined #mirage

03:06 rgrinberg has quit [Quit: Leaving.]

03:14 philtor has joined #mirage

03:32 rgrinberg has joined #mirage

03:47 philtor has quit [Ping timeout: 245 seconds]

03:54 philtor has joined #mirage

04:19 philtor has quit [Ping timeout: 245 seconds]

04:39 philtom has joined #mirage

04:49 philtom has quit [Ping timeout: 240 seconds]

05:25 tlockney is now known as tlockney_away

06:14 englishm has quit [Remote host closed the connection]

06:15 englishm has joined #mirage

07:00 avsm has joined #mirage

07:04 dsheets has joined #mirage

07:18 AltGr has joined #mirage

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

07:49 hhugo has joined #mirage

08:05 dsheets has quit [Read error: Connection reset by peer]

08:13 jerith_ is now known as jerith

08:14 djs55 has joined #mirage

08:41 dsheets has joined #mirage

08:45 avsm has quit [Quit: Leaving.]

08:59 avsm has joined #mirage

09:28 avsm has quit [Quit: Leaving.]

09:41 avsm has joined #mirage

10:13 andreas1 has joined #mirage

10:17 hannes` is now known as hannes

10:42 avsm has quit [Quit: Leaving.]

10:45 dsheets has quit [Read error: Connection reset by peer]

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

11:36 avsm has joined #mirage

11:45 dsheets has joined #mirage

11:50 Magnus3 has joined #mirage

11:50 Magnus2 has quit [Ping timeout: 260 seconds]

12:11 Armael has joined #mirage

12:12 <Armael> hm, mirage fails to build on my computer

12:12 <Armael> http://paste.isomorphis.me/dEz

12:13 <Armael> (with up to date opam/ocaml 4.01.0)

12:25 <Armael> hmm

12:25 <Armael> oddly cstruct 1.4.0 got installed

12:25 <Armael> after removing it and manually installing cstruct 0.4.0 it worked

12:34 englishm has joined #mirage

12:43 <Armael> hm well, now I don't have a 'mirage' binary

12:44 hhugo has quit [Quit: Leaving.]

12:47 avsm has quit [Quit: Leaving.]

12:49 hhugo has joined #mirage

13:04 avsm has joined #mirage

13:06 <djs55> mirage.0.4.0 seems very old

13:07 <djs55> my 'opam info mirage' has available-versions: 0.4.0, 0.4.1, 0.5.0, 0.6.0, 0.6.1, 0.7.2, 0.8.0, 0.8.1, 0.9.0, 0.9.1, 0.9.2, 0.9.3, 0.9.4, 0.9.5, 0.9.6, 0.9.7, 0.9.8, 0.10.0, 1.0.0, 1.0.1, 1.0.2, 1.0.3, 1.0.4, 1.1.0, 1.1.1, 1.1.2, 1.1.3, 1.2.0

13:07 <djs55> try "opam install mirage.1.2.0"

13:07 avsm has quit [Client Quit]

13:34 <Armael> oh, right

13:36 <Armael> thanks

14:15 thomasga has joined #mirage

14:16 gperetin has quit [Ping timeout: 260 seconds]

14:17 IbnFirnas has quit [*.net *.split]

14:17 thomasga has quit [Client Quit]

14:18 gperetin has joined #mirage

14:33 IbnFirnas has joined #mirage

14:34 IbnFirnas has quit [Ping timeout: 244 seconds]

14:35 gperetin has quit [Ping timeout: 260 seconds]

14:36 gperetin has joined #mirage

14:37 thomasga has joined #mirage

14:37 IbnFirnas has joined #mirage

15:08 rgrinberg has joined #mirage

15:13 avsm has joined #mirage

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

15:23 avsm has quit [Quit: Leaving.]

15:26 avsm has joined #mirage

15:26 avsm has quit [Read error: Connection reset by peer]

15:26 avsm has joined #mirage

15:27 avsm has quit [Client Quit]

15:35 philtom has joined #mirage

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

16:12 englishm has joined #mirage

16:16 tlockney_away is now known as tlockney

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

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

16:22 hhugo has joined #mirage

16:25 dsheets has quit [Ping timeout: 245 seconds]

16:33 djs55 has joined #mirage

16:46 andreas1 has quit [Quit: Leaving.]

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

16:47 rgrinberg has joined #mirage

16:51 englishm has quit [Remote host closed the connection]

16:51 englishm has joined #mirage

17:00 AltGr has left #mirage [#mirage]

17:05 philtor has joined #mirage

17:53 brson has joined #mirage

18:03 hhugo has quit [Quit: Leaving.]

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

19:13 englishm_mobile has joined #mirage

19:16 englishm_mobile has quit [Client Quit]

20:24 tlockney is now known as tlockney_away

20:31 avsm has joined #mirage

20:45 tlockney_away is now known as tlockney

20:53 avsm has quit [Quit: Leaving.]

20:55 avsm has joined #mirage

20:55 avsm has quit [Client Quit]

21:08 philtor has quit [Ping timeout: 260 seconds]

21:33 dezzy_ is now known as dezzy

21:55 djs55 has joined #mirage

22:07 dsheets has joined #mirage

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

22:07 englishm has joined #mirage

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

22:12 englishm has quit [Ping timeout: 264 seconds]

22:25 philtor has joined #mirage

22:41 hhugo has joined #mirage

23:02 hhugo has quit [Quit: Leaving.]