#ocaml on 2020-02-03 — irc logs at freenode.irclog.whitequark.org

2019-09-26 12:04 adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:04 ocaml459 has joined #ocaml

00:06 ocaml459 has quit [Client Quit]

00:06 ocaml459 has joined #ocaml

00:08 ocaml459 has quit [Client Quit]

00:14 malina has quit [Ping timeout: 265 seconds]

00:19 Hrundi_V_Bakshi has quit [Ping timeout: 265 seconds]

00:19 molotov has joined #ocaml

00:21 serge has joined #ocaml

00:22 molotov has quit [Client Quit]

00:26 serge has quit [Ping timeout: 265 seconds]

00:30 amiloradovsky has quit [Ping timeout: 265 seconds]

00:33 Haudegen has quit [Ping timeout: 268 seconds]

00:41 ocaml459 has joined #ocaml

00:42 ocaml459 has quit [Client Quit]

01:32 _whitelogger has joined #ocaml

01:34 kleisli has quit [Remote host closed the connection]

01:37 kleisli has joined #ocaml

01:47 olle has quit [Ping timeout: 240 seconds]

01:49 olle has joined #ocaml

01:52 FreeBirdLjj has joined #ocaml

02:09 serge has joined #ocaml

02:14 serge has quit [Ping timeout: 265 seconds]

02:15 jao has quit [Read error: Connection reset by peer]

02:15 jao has joined #ocaml

02:15 jao is now known as Guest64080

02:16 Guest64080 has quit [Changing host]

02:16 Guest64080 has joined #ocaml

02:16 Guest64080 is now known as jao`

02:29 jao` has quit [Read error: Connection reset by peer]

02:30 jao` has joined #ocaml

02:30 jao` has quit [Changing host]

02:30 jao` has joined #ocaml

02:33 jao` is now known as jao

02:49 GreyFaceNoSpace has quit [Read error: Connection reset by peer]

02:49 GreyFaceNoSpace has joined #ocaml

03:05 zerotypic has joined #ocaml

03:07 zerotypic has quit [Quit: leaving]

03:15 zerotypic has joined #ocaml

03:22 mfp has quit [Ping timeout: 265 seconds]

03:37 GreyFaceNoSpace has quit [Read error: Connection reset by peer]

03:39 gravicappa has joined #ocaml

03:40 FreeBirdLjj has quit [Remote host closed the connection]

03:44 FreeBirdLjj has joined #ocaml

03:49 FreeBirdLjj has quit [Ping timeout: 248 seconds]

03:50 tormen has joined #ocaml

03:53 FreeBirdLjj has joined #ocaml

03:54 tormen_ has quit [Ping timeout: 268 seconds]

03:57 serge has joined #ocaml

04:02 serge has quit [Ping timeout: 240 seconds]

04:04 serge has joined #ocaml

04:09 serge has quit [Ping timeout: 265 seconds]

04:14 serge has joined #ocaml

04:19 serge has quit [Ping timeout: 265 seconds]

04:25 serge has joined #ocaml

04:27 serge has quit [Read error: Connection reset by peer]

04:27 serge has joined #ocaml

04:28 FreeBirdLjj has quit [Remote host closed the connection]

04:29 ocaml459 has joined #ocaml

04:31 ocaml459 has quit [Client Quit]

04:32 ocaml459 has joined #ocaml

04:32 serge has quit [Ping timeout: 265 seconds]

04:33 ocaml459 has quit [Client Quit]

04:41 FreeBirdLjj has joined #ocaml

04:44 serge has joined #ocaml

04:49 serge has quit [Ping timeout: 268 seconds]

04:54 serge has joined #ocaml

04:54 FreeBirdLjj has quit [Remote host closed the connection]

04:57 FreeBirdLjj has joined #ocaml

04:59 serge has quit [Ping timeout: 265 seconds]

05:02 serge has joined #ocaml

05:02 FreeBirdLjj has quit [Ping timeout: 260 seconds]

05:03 serge has quit [Read error: Connection reset by peer]

05:03 ocaml459 has joined #ocaml

05:03 serge has joined #ocaml

05:06 ocaml459 has quit [Client Quit]

05:06 ocaml459 has joined #ocaml

05:08 ocaml459 has quit [Client Quit]

05:08 serge has quit [Ping timeout: 260 seconds]

05:21 dborisog has joined #ocaml

05:23 serge has joined #ocaml

05:28 FreeBirdLjj has joined #ocaml

05:28 serge has quit [Ping timeout: 268 seconds]

05:31 ocaml459 has joined #ocaml

05:31 serge has joined #ocaml

05:32 ocaml459 has quit [Client Quit]

05:33 FreeBirdLjj has quit [Ping timeout: 272 seconds]

05:36 serge has quit [Ping timeout: 265 seconds]

05:39 serge has joined #ocaml

05:44 serge has quit [Ping timeout: 265 seconds]

05:45 FreeBirdLjj has joined #ocaml

05:51 serge has joined #ocaml

05:54 serge_ has joined #ocaml

05:54 serge has quit [Read error: Connection reset by peer]

05:59 serge_ has quit [Ping timeout: 268 seconds]

06:10 narimiran has joined #ocaml

06:10 ocaml459 has joined #ocaml

06:11 ocaml459 has quit [Client Quit]

06:12 serge has joined #ocaml

06:13 serge_ has joined #ocaml

06:13 serge has quit [Read error: Connection reset by peer]

06:18 serge_ has quit [Ping timeout: 272 seconds]

06:25 kleisli has quit [Ping timeout: 265 seconds]

06:36 serge has joined #ocaml

06:40 serge has quit [Ping timeout: 240 seconds]

06:41 serge has joined #ocaml

06:45 ocaml459 has joined #ocaml

06:46 serge has quit [Ping timeout: 265 seconds]

06:48 ocaml459 has quit [Client Quit]

06:48 ocaml459 has joined #ocaml

06:49 FreeBirdLjj has quit [Ping timeout: 265 seconds]

06:51 ocaml459 has quit [Client Quit]

06:51 ocaml459 has joined #ocaml

06:52 serge has joined #ocaml

06:55 ocaml459 has quit [Client Quit]

06:56 ocaml459 has joined #ocaml

06:57 serge has quit [Ping timeout: 268 seconds]

06:58 ocaml459 has quit [Client Quit]

07:08 jao has quit [Ping timeout: 265 seconds]

07:12 narimiran has quit [Ping timeout: 260 seconds]

07:33 bartholin has quit [Quit: Leaving]

07:34 malina has joined #ocaml

08:05 Haudegen has joined #ocaml

08:38 ollehar has joined #ocaml

08:40 serge has joined #ocaml

08:42 kakadu has joined #ocaml

08:45 serge has quit [Ping timeout: 260 seconds]

08:49 kakadu has quit [Ping timeout: 240 seconds]

08:49 kakadu_ has joined #ocaml

09:22 kakadu has joined #ocaml

09:25 kakadu_ has quit [Ping timeout: 246 seconds]

09:29 <Leonidas> Segaja: maybe uninstall aspcud? These days it doesn't seem to be required anymore since the built-in solver seems good enough.

09:34 <Segaja> I solved it differently. That error came from a debian system. meanwhile i solved it with an opam docker image

09:41 serge has joined #ocaml

09:46 serge has quit [Ping timeout: 268 seconds]

09:48 narimiran has joined #ocaml

09:49 JeanMax` has quit [Remote host closed the connection]

09:56 khodzha1 has joined #ocaml

10:00 ggole has joined #ocaml

10:02 malina has quit [Ping timeout: 268 seconds]

10:12 ggole has quit [Read error: Connection reset by peer]

10:12 ggole has joined #ocaml

10:24 malina has joined #ocaml

10:48 JeanMax has joined #ocaml

10:50 mfp has joined #ocaml

10:57 ocaml459 has joined #ocaml

10:58 malina has quit [Ping timeout: 268 seconds]

10:59 ocaml459 has quit [Client Quit]

11:04 free_beard has joined #ocaml

11:20 ocaml459 has joined #ocaml

11:23 malina has joined #ocaml

11:24 ocaml459 has quit [Client Quit]

11:25 khodzha1 has quit [Ping timeout: 268 seconds]

11:28 ocaml459 has joined #ocaml

11:29 ocaml459 has quit [Client Quit]

11:29 serge has joined #ocaml

11:31 khodzha1 has joined #ocaml

11:34 serge has quit [Ping timeout: 265 seconds]

11:39 klntsky has quit [Remote host closed the connection]

11:39 dhil has joined #ocaml

11:43 klntsky has joined #ocaml

12:06 olle has quit [Ping timeout: 268 seconds]

12:08 olle has joined #ocaml

12:12 Haudegen has quit [Quit: Bin weg.]

12:13 kleisli has joined #ocaml

12:31 serge has joined #ocaml

12:33 malina has quit [Ping timeout: 272 seconds]

12:35 serge has quit [Ping timeout: 268 seconds]

12:40 webshinra has quit [Ping timeout: 252 seconds]

13:11 malina has joined #ocaml

13:20 decentpenguin has joined #ocaml

13:22 ansiwen has joined #ocaml

13:32 Haudegen has joined #ocaml

13:56 dhil has quit [Ping timeout: 245 seconds]

13:58 dhil has joined #ocaml

14:07 mahmudov has joined #ocaml

14:19 serge_ has joined #ocaml

14:20 spew has joined #ocaml

14:23 serge_ has quit [Ping timeout: 265 seconds]

14:27 ygrek_ has joined #ocaml

14:31 TheLemonMan has joined #ocaml

14:45 mbuf has joined #ocaml

14:53 mahmudov has quit [Ping timeout: 272 seconds]

15:03 mahmudov has joined #ocaml

15:29 TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]

15:35 jao has joined #ocaml

15:35 jao has quit [Changing host]

15:35 jao has joined #ocaml

16:06 bartholin has joined #ocaml

16:07 serge_ has joined #ocaml

16:12 serge_ has quit [Ping timeout: 268 seconds]

16:41 free_beard has quit [Remote host closed the connection]

16:43 tane has joined #ocaml

16:53 Haudegen has quit [Quit: Bin weg.]

16:54 mbuf has quit [Remote host closed the connection]

17:01 ollehar has quit [Ping timeout: 240 seconds]

17:24 Jesin has quit [Quit: Leaving]

17:40 Jesin has joined #ocaml

17:50 tane has quit [Quit: Leaving]

17:55 Haudegen has joined #ocaml

17:55 serge_ has joined #ocaml

17:56 dborisog has quit [Ping timeout: 268 seconds]

17:59 serge_ has quit [Ping timeout: 240 seconds]

18:03 tane has joined #ocaml

18:10 olle has quit [Ping timeout: 268 seconds]

18:12 olle has joined #ocaml

18:17 vicfred has joined #ocaml

18:18 olle has quit [Ping timeout: 272 seconds]

18:19 olle has joined #ocaml

18:28 serge_ has joined #ocaml

18:29 serge_ has quit [Read error: Connection reset by peer]

18:29 serge__ has joined #ocaml

18:30 serge__ has quit [Read error: Connection reset by peer]

18:31 serge_ has joined #ocaml

18:32 serge_ has quit [Read error: Connection reset by peer]

18:32 serge_ has joined #ocaml

18:32 decentpenguin has quit [Quit: decentpenguin]

18:34 serge_ has quit [Read error: Connection reset by peer]

18:34 serge_ has joined #ocaml

18:38 kakadu_ has joined #ocaml

18:38 khodzha1 has quit [Ping timeout: 265 seconds]

18:39 serge_ has quit [Ping timeout: 260 seconds]

18:40 khodzha1 has joined #ocaml

18:40 jmiven has quit [Quit: reboot]

18:42 jmiven has joined #ocaml

18:43 serge_ has joined #ocaml

18:47 serge__ has joined #ocaml

18:47 serge_ has quit [Read error: Connection reset by peer]

18:51 serge__ has quit [Read error: Connection reset by peer]

18:52 serge_ has joined #ocaml

18:53 serge_ has quit [Read error: Connection reset by peer]

18:54 serge_ has joined #ocaml

18:58 serge_ has quit [Ping timeout: 260 seconds]

19:00 serge_ has joined #ocaml

19:00 n00by-n00by-doo has joined #ocaml

19:04 serge_ has quit [Ping timeout: 265 seconds]

19:06 khodzha1 has quit [Ping timeout: 265 seconds]

19:14 dhil has quit [Ping timeout: 245 seconds]

19:14 serge_ has joined #ocaml

19:19 serge_ has quit [Ping timeout: 240 seconds]

19:21 serge_ has joined #ocaml

19:25 serge_ has quit [Read error: Connection reset by peer]

19:26 serge__ has joined #ocaml

19:27 serge__ has quit [Read error: Connection reset by peer]

19:27 serge_ has joined #ocaml

19:32 serge_ has quit [Ping timeout: 265 seconds]

19:33 serge_ has joined #ocaml

19:38 serge_ has quit [Ping timeout: 265 seconds]

19:38 kleisli has quit [Ping timeout: 268 seconds]

19:48 serge_ has joined #ocaml

19:49 ggole has quit [Quit: Leaving]

19:49 serge__ has joined #ocaml

19:49 serge_ has quit [Read error: Connection reset by peer]

19:54 serge__ has quit [Ping timeout: 265 seconds]

19:54 serge_ has joined #ocaml

19:56 serge__ has joined #ocaml

19:56 serge__ has quit [Remote host closed the connection]

19:56 serge_ has quit [Read error: Connection reset by peer]

19:56 serge__ has joined #ocaml

19:58 twopoint718 has joined #ocaml

20:02 peddie has quit [*.net *.split]

20:08 jnavila has joined #ocaml

20:17 olle has quit [Ping timeout: 268 seconds]

20:18 olle has joined #ocaml

20:23 peddie has joined #ocaml

20:29 kleisli has joined #ocaml

20:57 narimiran has quit [Ping timeout: 265 seconds]

21:03 peddie has quit [*.net *.split]

21:11 n00by-n00by-doo has quit [Ping timeout: 265 seconds]

21:13 ygrek__ has joined #ocaml

21:16 ygrek_ has quit [Ping timeout: 240 seconds]

21:19 ygrek__ has quit [Ping timeout: 268 seconds]

21:20 gravicappa has quit [Ping timeout: 265 seconds]

21:21 peddie has joined #ocaml

21:24 gareppa has joined #ocaml

21:28 mononote has quit [Quit: ZNC 1.7.2+deb2ubuntu0.1 - https://znc.in]

21:29 Haudegen has quit [Quit: Bin weg.]

21:30 gareppa has quit [Remote host closed the connection]

21:31 Haudegen has joined #ocaml

21:32 kleisli has quit [Ping timeout: 268 seconds]

21:33 kleisli has joined #ocaml

21:41 Hrundi_V_Bakshi has joined #ocaml

21:42 mononote has joined #ocaml

21:43 mononote has quit [Client Quit]

21:45 mononote has joined #ocaml

21:53 mahtob has joined #ocaml

21:54 mahtob has quit [Client Quit]

21:55 mahtob has joined #ocaml

21:55 <Segaja> Leonidas: do you know if i can pass custom options to the configure command of a package (liquidsoap)?

21:55 mahtob has quit [Remote host closed the connection]

21:56 mahtob has joined #ocaml

21:57 mahmudov has quit [Ping timeout: 265 seconds]

21:57 mahtob has quit [Remote host closed the connection]

22:01 twopoint718 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

22:04 twopoint718 has joined #ocaml

22:09 jnavila has quit [Read error: Connection reset by peer]

22:12 mahmudov has joined #ocaml

22:21 serge__ has quit [Remote host closed the connection]

22:22 kleisli has quit [Ping timeout: 268 seconds]

22:22 kleisli has joined #ocaml

22:32 tane has quit [Quit: Leaving]

22:35 kakadu_ has quit [Remote host closed the connection]

22:59 twopoint718 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

23:03 GreyFaceNoSpace has joined #ocaml

23:09 kleisli has quit [Ping timeout: 268 seconds]

23:12 malina has quit [Remote host closed the connection]

23:36 Hrundi_V_Bakshi has quit [Ping timeout: 268 seconds]

23:46 NSA_Spy has joined #ocaml

23:47 Haudegen has quit [Ping timeout: 240 seconds]

23:49 mahmudov has quit [Remote host closed the connection]

23:51 kleisli has joined #ocaml

23:58 Haudegen has joined #ocaml