#mirage on 2017-06-10 — irc logs at freenode.irclog.whitequark.org

2017-02-23 21:16 avsm changed the topic of #mirage to: Good news everyone! Mirage 3.0 released!

00:31 dudelson has joined #mirage

00:32 <dudelson> I'm getting an error while trying to install tcpip, but I can't find it in the bugtracker

00:32 <dudelson> does this ring a bell for any maintainer of tcpip?

00:41 <dudelson> I spoke too soon

00:41 <dudelson> 'opam update -u' fixed it

03:57 _whitelogger has joined #mirage

04:01 dudelson has quit [Ping timeout: 240 seconds]

05:53 philtor has quit [Ping timeout: 240 seconds]

06:48 _whitelogger has joined #mirage

09:31 raboof has quit [Changing host]

09:31 raboof has joined #mirage

10:40 mort___ has joined #mirage

11:04 argent_smith has joined #mirage

11:30 _whitelogger has joined #mirage

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

14:12 mort___ has joined #mirage

14:27 _whitelogger has joined #mirage

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

15:15 mort___ has joined #mirage

15:16 mort___ has quit [Client Quit]

15:39 argent_smith has quit [Quit: Leaving.]

18:52 dinosaure has quit [Ping timeout: 240 seconds]

19:17 argent_smith has joined #mirage

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

22:06 dudelson has joined #mirage

23:25 dudelson has quit [Ping timeout: 246 seconds]

23:52 copy` has joined #mirage