#ocaml on 2020-08-01 — 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:14 Haudegen has quit [Ping timeout: 240 seconds]

00:28 malc_ has joined #ocaml

00:40 tobiasBora2 has joined #ocaml

00:43 malc_ has quit [Remote host closed the connection]

00:46 tobiasBora2 has quit [Ping timeout: 240 seconds]

00:59 dhil has quit [Ping timeout: 240 seconds]

01:04 tobiasBora2 has joined #ocaml

01:13 spew has quit [Quit: Connection closed for inactivity]

01:20 malc_ has joined #ocaml

01:27 tobiasBora2 has quit [Ping timeout: 256 seconds]

01:27 amiloradovsky has quit [Ping timeout: 244 seconds]

01:46 mfp has quit [Ping timeout: 240 seconds]

01:51 Guest86335 has quit [Ping timeout: 264 seconds]

02:18 vicfred has quit [Read error: Connection reset by peer]

02:20 aaaaaa has joined #ocaml

02:28 aaaaaa has left #ocaml [#ocaml]

02:35 andreas303 has quit [Remote host closed the connection]

02:38 malc_ has quit [Ping timeout: 240 seconds]

02:39 andreas303 has joined #ocaml

02:39 mbuf has joined #ocaml

03:11 malc_ has joined #ocaml

03:15 tobiasBora2 has joined #ocaml

03:21 waleee-cl has quit [Quit: Connection closed for inactivity]

04:17 malc_ has quit [Ping timeout: 264 seconds]

05:08 narimiran has joined #ocaml

05:08 shmibs has quit [Quit: leaving =o]

05:09 shmibs has joined #ocaml

05:20 Not_A_NSA_Spy has quit [Ping timeout: 240 seconds]

06:04 malc_ has joined #ocaml

06:12 wildsebastian has quit [Ping timeout: 272 seconds]

06:14 wildsebastian has joined #ocaml

06:24 penguwin has quit [Quit: Ping timeout (120 seconds)]

06:25 penguwin has joined #ocaml

06:44 narimiran has quit [Quit: leaving]

06:57 malc_ has quit [Ping timeout: 246 seconds]

07:03 decentpenguin has quit [Quit: ZNC crashed or something]

07:06 decentpenguin has joined #ocaml

07:06 abc_ has quit [Quit: reboot or OOMed]

07:08 abc_ has joined #ocaml

07:30 _whitelogger has joined #ocaml

07:35 dckc has joined #ocaml

07:40 zwindl has joined #ocaml

07:40 abc_ has quit [Read error: Connection reset by peer]

07:47 raver has joined #ocaml

08:14 inkbottle has joined #ocaml

08:15 zebrag has quit [Ping timeout: 246 seconds]

08:44 mbuf has quit [Quit: Leaving]

08:48 Haudegen has joined #ocaml

09:26 malc_ has joined #ocaml

09:27 amiloradovsky has joined #ocaml

09:45 mfp has joined #ocaml

09:53 dhil has joined #ocaml

10:08 Haudegen has quit [Ping timeout: 260 seconds]

10:24 zwindl is now known as abc_

10:38 amiloradovsky has quit [Ping timeout: 240 seconds]

11:25 waleee-cl has joined #ocaml

11:36 dhil has quit [Ping timeout: 256 seconds]

11:43 ggole has joined #ocaml

11:57 dhil has joined #ocaml

12:10 raver has quit [Quit: Gateway shutdown]

12:20 porchetta_ has quit [Quit: WeeChat 2.7.1]

12:30 mbuf has joined #ocaml

12:34 malc_ has quit [Remote host closed the connection]

12:37 superherointj has joined #ocaml

12:39 dhil has quit [Ping timeout: 256 seconds]

12:52 dhil has joined #ocaml

12:56 dhil has quit [Ping timeout: 260 seconds]

13:00 superherointj has quit [Quit: Leaving]

13:05 zebrag has joined #ocaml

13:05 inkbottle has quit [Ping timeout: 246 seconds]

13:10 dhil has joined #ocaml

13:22 tobiasBora2 has quit [Ping timeout: 256 seconds]

13:24 tobiasBora2 has joined #ocaml

13:37 malc_ has joined #ocaml

13:43 mbuf has quit [Read error: Connection reset by peer]

13:47 malc_ has quit [Ping timeout: 264 seconds]

14:15 vicfred has joined #ocaml

14:32 vicfred has quit [Quit: Leaving]

14:52 amiloradovsky has joined #ocaml

15:11 mbuf has joined #ocaml

15:14 dhil has quit [Ping timeout: 256 seconds]

15:16 Not_A_NSA_Spy has joined #ocaml

15:28 bartholin has quit [Read error: Connection reset by peer]

16:06 zolk3ri has joined #ocaml

16:10 <zebrag> `opam pin add owl --dev-repo` reports a code inconsistency that I can't observe, neither in the master version, nor in the "latest release"

16:11 <zebrag> This opam line was working all right in April

16:22 <zebrag> opam pin add owl --dev-repo, is immediately followed by the installation of the package.

16:22 <zebrag> What if there are 2 packages that have to be pinned to the dev-repo

16:22 mbuf has quit [Quit: Leaving]

16:23 <zebrag> like `owl-base` might be out of sync with `owl`

16:35 <zebrag> I did `opam pin add owl-base --dev-repo` prior to `opam pin add owl --dev-repo` and that did the trick

16:35 <zebrag> so nice

16:45 bartholin has joined #ocaml

16:47 zebrag has quit [Quit: Konversation terminated!]

16:49 Not_A_NSA_Spy has quit [Ping timeout: 265 seconds]

16:50 zebrag has joined #ocaml

16:57 Not_A_NSA_Spy has joined #ocaml

17:03 amiloradovsky has quit [Ping timeout: 260 seconds]

17:11 malc_ has joined #ocaml

17:14 zebrag has quit [Ping timeout: 240 seconds]

17:14 zebrag has joined #ocaml

17:29 zebrag has quit [Quit: Konversation terminated!]

17:31 zebrag has joined #ocaml

17:48 artart78 has quit [Changing host]

17:48 artart78 has joined #ocaml

17:56 vicfred has joined #ocaml

18:04 nkly_ has joined #ocaml

18:48 jbrown has quit [Ping timeout: 272 seconds]

18:51 narimiran has joined #ocaml

19:17 Haudegen has joined #ocaml

19:32 zolk3ri has quit [Remote host closed the connection]

19:32 amiloradovsky has joined #ocaml

19:55 spew has joined #ocaml

20:04 andreas303 has quit [Ping timeout: 240 seconds]

20:09 andreas303 has joined #ocaml

20:12 amiloradovsky has quit [Ping timeout: 244 seconds]

20:19 nkly_ has quit [Ping timeout: 260 seconds]

20:25 dhil has joined #ocaml

20:26 malc_ has quit [Ping timeout: 246 seconds]

20:37 narimiran has quit [Ping timeout: 246 seconds]

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

20:57 NSA_Spy has joined #ocaml

21:04 oriba has joined #ocaml

21:05 jbrown has joined #ocaml

21:06 ggole has quit [Quit: Leaving]

21:10 sagax has quit [Quit: Konversation terminated!]

21:10 sagax has joined #ocaml

21:10 sagax has quit [Read error: Connection reset by peer]

21:45 madroach has quit [Ping timeout: 256 seconds]

21:45 madroach has joined #ocaml

22:41 vicfred has quit [Quit: Leaving]

23:21 tobiasBora2 has quit [Ping timeout: 240 seconds]

23:21 vicfred has joined #ocaml

23:21 tobiasBora2 has joined #ocaml

23:29 amiloradovsky has joined #ocaml

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

23:32 NSA_Spy has quit [Remote host closed the connection]

23:33 NSA_Spy has joined #ocaml

23:46 tobiasBora2 has quit [Ping timeout: 260 seconds]

23:47 tobiasBora2 has joined #ocaml

23:54 tobiasBora2 has quit [Ping timeout: 246 seconds]

23:54 tobiasBora2 has joined #ocaml

23:55 brown121407 has quit [Remote host closed the connection]

23:55 brettgilio has quit [Remote host closed the connection]

23:57 brown121407 has joined #ocaml

23:58 brettgilio has joined #ocaml

23:59 oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]