#mirage on 2019-01-29 — irc logs at freenode.irclog.whitequark.org

2019-01-06 13:42 hannes changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: Feb 1st) - next call Jan 9th 16:00 GMT https://github.com/mirage/mirage-www/wiki/Call-Agenda - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.3.1 is released - happy hacking!

06:35 iovec has quit [Quit: Connection closed for inactivity]

07:27 _whitelogger has joined #mirage

07:53 djs55 has joined #mirage

08:25 djs55 has quit [Quit: Leaving.]

09:03 Haudegen has joined #mirage

09:22 mort___ has joined #mirage

09:57 mort___ has quit [Quit: Leaving.]

10:00 mort___ has joined #mirage

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

10:38 mort___ has joined #mirage

10:41 mort___ has quit [Client Quit]

11:09 mort___ has joined #mirage

11:13 mort___ has quit [Client Quit]

11:14 mort___ has joined #mirage

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

11:29 iovec has joined #mirage

11:49 Haudegen has quit [Remote host closed the connection]

12:03 mort___ has joined #mirage

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

12:53 mort___ has joined #mirage

12:54 Haudegen has joined #mirage

15:15 twopoint718 has joined #mirage

16:16 iovec has quit [Quit: Connection closed for inactivity]

16:18 twopoint718 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:34 Haudegen has quit [Remote host closed the connection]

16:43 twopoint718 has joined #mirage

16:48 mort___ has quit [Quit: Leaving.]

16:51 twopoint718 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:01 djs55 has joined #mirage

17:17 <haesbaert> hmm opam switch list doesn't give me anything other than the system

17:17 <haesbaert> miriel:d: opam switch list

17:17 <haesbaert> # switch compiler description

17:17 <haesbaert> → default ocaml-system.4.02.3 default

17:17 <haesbaert> this is a debian 9.6

17:51 Haudegen has joined #mirage

17:58 iovec has joined #mirage

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

18:11 djs55 has joined #mirage

18:49 mort___ has joined #mirage

18:51 jnavila has joined #mirage

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

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

19:31 mort___ has joined #mirage

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

19:49 mort___ has joined #mirage

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

20:41 djs55 has joined #mirage

20:46 mort___ has joined #mirage

20:56 Haudegen has quit [Remote host closed the connection]

20:57 henrytill_ has joined #mirage

21:00 henrytill_ has quit [Changing host]

21:00 henrytill_ has joined #mirage

21:00 henrytill has quit [Ping timeout: 252 seconds]

21:00 henrytill_ is now known as henrytill

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

21:23 Haudegen has joined #mirage

21:49 jnavila has quit [Remote host closed the connection]

22:17 iovec has quit [Quit: Connection closed for inactivity]

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

23:21 henrytill has quit [Quit: ZNC 1.6.5 - http://znc.in]

23:22 henrytill has joined #mirage

23:22 mort___ has joined #mirage

23:25 henrytill has quit [Client Quit]

23:27 henrytill has joined #mirage

23:28 henrytill has quit [Client Quit]

23:38 Haudegen has quit [Remote host closed the connection]