#mirage on 2017-01-19 — 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:19 mort___ has quit [Quit: Leaving.]

02:07 brson has quit [Quit: leaving]

03:02 _whitelogger has joined #mirage

04:47 copy` has quit [Quit: Connection closed for inactivity]

05:34 yomimono has joined #mirage

06:04 yomimono has quit [Ping timeout: 256 seconds]

08:12 fgimenez has joined #mirage

08:12 fgimenez has quit [Changing host]

08:25 AltGr has joined #mirage

08:32 reynir1 is now known as reynir2

08:33 reynir2 is now known as reynir

09:01 mort___ has joined #mirage

09:22 frefity has quit [Quit: Ex-Chat]

10:00 mort___ has left #mirage [#mirage]

10:16 fgimenez has quit [Ping timeout: 252 seconds]

10:16 fgimenez has joined #mirage

10:16 fgimenez has quit [Changing host]

10:43 mort___ has joined #mirage

10:59 mort___ has quit [Quit: Leaving.]

11:31 mort___ has joined #mirage

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

12:07 mort___ has joined #mirage

12:11 fgimenez has quit [Ping timeout: 258 seconds]

12:11 fgimenez has joined #mirage

12:11 fgimenez has quit [Changing host]

12:11 fgimenez has joined #mirage

12:18 mort___ has quit [Quit: Leaving.]

12:32 smkz_ is now known as smkz

13:25 fgimenez has quit [Ping timeout: 276 seconds]

13:25 agarwal1975 has quit [Quit: agarwal1975]

13:36 fgimenez has joined #mirage

13:55 mort___ has joined #mirage

13:57 mort___ has quit [Client Quit]

13:58 mort___ has joined #mirage

14:01 mort___ has left #mirage [#mirage]

14:02 <mato> hannes: The Stdlibrandom change appears to have got my OPAM switch into some weird state:

14:02 <mato> I get Error: Unbound module Stdlibrandom when trying to build e.g. stackv4

14:03 <mato> This is with latest mirage-dev, and I see a mirage-random package installed

14:03 <mato> hannes: any ideas?

14:03 agarwal1975 has joined #mirage

14:03 <hannes> have you reinstalled mirage-random? i got same weird behaviour, but a opam reinstall mirage-random helped

14:04 <mato> hannes: aha, that fixes it, thanks

14:21 sspi has joined #mirage

14:33 yomimono has joined #mirage

14:38 fgimenez has quit [Ping timeout: 276 seconds]

14:53 fgimenez has joined #mirage

14:53 fgimenez has quit [Changing host]

14:54 mort___ has joined #mirage

14:54 mort___ has quit [Client Quit]

14:58 mort___ has joined #mirage

15:03 mort___ has quit [Ping timeout: 240 seconds]

15:11 yomimono has quit [Ping timeout: 255 seconds]

15:17 yomimono has joined #mirage

15:36 miragebot has joined #mirage

15:36 miragebot has left #mirage [#mirage]

15:36 <miragebot> mirage/master 310eead Mindy Preston: pull newer opams from mirage-dev

15:36 <miragebot> [mirage] yomimono pushed 2 new commits to master: https://git.io/vMDSb

15:36 <miragebot> mirage/master ac24392 Mindy Preston: Merge pull request #782 from yomimono/auto-opam-update-1484773697...

15:44 philtor has quit [Ping timeout: 264 seconds]

15:51 <yomimono>

16:18 mort___ has joined #mirage

16:25 sspi has quit [Quit: Connection closed for inactivity]

16:42 philtor has joined #mirage

17:02 fgimenez has quit [Ping timeout: 240 seconds]

17:03 fgimenez has joined #mirage

17:03 fgimenez has quit [Changing host]

17:06 fgimenez has quit [Client Quit]

17:42 brson has joined #mirage

17:55 mort___ has quit [Ping timeout: 256 seconds]

18:12 mort___ has joined #mirage

18:15 AltGr has left #mirage [#mirage]

18:34 mort___ has quit [Quit: Leaving.]

18:46 yomimono has quit [Ping timeout: 256 seconds]

18:56 agarwal1975_ has joined #mirage

18:58 agarwal1975 has quit [Ping timeout: 240 seconds]

18:58 agarwal1975_ is now known as agarwal1975

19:25 brson has quit [Quit: leaving]

19:27 brson has joined #mirage

19:35 copy` has joined #mirage

19:36 brson has quit [Quit: leaving]

19:37 brson has joined #mirage

19:38 mort___ has joined #mirage

19:42 mort___ has quit [Client Quit]

19:53 mort___ has joined #mirage

19:58 agarwal1975 has quit [Ping timeout: 264 seconds]

19:58 brson has quit [Quit: leaving]

19:59 agarwal1975 has joined #mirage

20:03 yomimono has joined #mirage

20:05 w10have has joined #mirage

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

20:28 mort___ has joined #mirage

20:32 mort___ has quit [Client Quit]

20:35 brson has joined #mirage

20:57 w10have has quit [Ping timeout: 240 seconds]

21:48 mort___ has joined #mirage

22:02 brson has quit [Ping timeout: 240 seconds]

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

22:43 brson has joined #mirage

23:19 beaumonta has quit [Ping timeout: 258 seconds]