#mirage on 2016-10-24 — 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:32 ebagdasa has quit [Ping timeout: 265 seconds]

00:33 ebagdasa has joined #mirage

00:42 nathan7_ has joined #mirage

00:42 def`_ has joined #mirage

00:42 vbmithr_ has joined #mirage

00:43 vbmithr has quit [Write error: Broken pipe]

00:43 def` has quit [Write error: Broken pipe]

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

00:49 nathan7_ is now known as nathan7

00:53 ebagdasa has quit [Ping timeout: 265 seconds]

00:54 ebagdasa has joined #mirage

01:02 ebagdasa1 has joined #mirage

01:04 ebagdasa has quit [Ping timeout: 265 seconds]

01:18 _whitelogger has joined #mirage

01:31 seliopou_ has quit [Ping timeout: 268 seconds]

01:31 jerith has quit [Ping timeout: 268 seconds]

01:31 aantron has quit [Ping timeout: 268 seconds]

01:31 henrytill has quit [Ping timeout: 268 seconds]

01:33 jerith has joined #mirage

01:34 seliopou has joined #mirage

01:38 henrytill has joined #mirage

01:38 henrytill has quit [Changing host]

01:38 henrytill has joined #mirage

01:38 aantron has joined #mirage

01:51 rgrinberg has quit [Remote host closed the connection]

02:20 rgrinberg has joined #mirage

02:38 rgrinberg has quit [Remote host closed the connection]

03:37 copy` has quit [Quit: Connection closed for inactivity]

06:06 noddy has quit [Ping timeout: 256 seconds]

06:21 noddy has joined #mirage

07:04 AltGr has joined #mirage

07:18 AltGr has quit [Ping timeout: 260 seconds]

07:37 andreas231 has quit [Quit: Leaving.]

07:37 fgimenez has joined #mirage

08:09 fgimenez has quit [Remote host closed the connection]

08:09 fgimenez has joined #mirage

08:16 andreas23 has joined #mirage

08:29 jermar has joined #mirage

09:45 betheynyx has quit [Quit: (Input/output error)]

09:46 mato has quit [Quit: leaving]

09:53 mato has joined #mirage

10:56 betheynyx has joined #mirage

11:06 fgimenez has quit []

11:21 fgimenez has joined #mirage

12:04 AltGr has joined #mirage

12:30 rgrinberg has joined #mirage

12:36 apache2 has joined #mirage

12:38 Khady_ has joined #mirage

12:40 ansiwen_ has joined #mirage

12:40 aggelos_ has joined #mirage

12:43 ahf_ has joined #mirage

12:45 ansiwen has quit [*.net *.split]

12:45 Bluerise has quit [*.net *.split]

12:45 apache2_ has quit [*.net *.split]

12:45 ahf has quit [*.net *.split]

12:45 aggelos__ has quit [*.net *.split]

12:45 srax has quit [*.net *.split]

12:45 Khady has quit [*.net *.split]

12:45 ahf_ is now known as ahf

12:46 Bluerise has joined #mirage

12:50 srax has joined #mirage

12:51 noddy has quit [Ping timeout: 256 seconds]

13:01 ansiwen_ is now known as ansiwen

13:06 fgimenez has quit [Ping timeout: 260 seconds]

13:22 miragebot has joined #mirage

13:22 <miragebot> mirage/master 8715834 Anil Madhavapeddy: Merge pull request #632 from avsm/doc-refresh...

13:22 <miragebot> mirage/master be2c509 Anil Madhavapeddy: Refresh doc gen to be a sorted list for upcoming trove...

13:22 <miragebot> [mirage] avsm pushed 2 new commits to master: https://git.io/vPA3U

13:22 miragebot has left #mirage [#mirage]

13:23 copy` has joined #mirage

13:27 def`_ is now known as def`

13:31 fgimenez has joined #mirage

13:31 fgimenez has quit [Changing host]

13:41 noddy has joined #mirage

14:27 andreas23 has quit [Quit: Leaving.]

14:35 brson has joined #mirage

14:36 fgimenez has quit [Ping timeout: 260 seconds]

14:37 fgimenez has joined #mirage

14:37 fgimenez has quit [Changing host]

15:09 mort___ has joined #mirage

15:14 mort___ has quit [Remote host closed the connection]

15:16 agarwal1975 has joined #mirage

15:20 <hannes> noddy: great work on the ocb-stubblr!!! highly appreciated

15:21 <hannes> (although, maybe now it is too easy to compile and use C code in mirageos ;)

15:21 <noddy> ocamlbuild needs to be razed with cleansing napalm.

15:22 <noddy> there's a gotcha: META is not documented. ppl who can't figure that out won't release extra stubs.

15:22 <hannes> noddy: in mirage-os-shim, you might want to update the sleep to sleep_ns...

15:23 <hannes> noddy: and I'd go ahead and make a ocaml-tls topkg PR (unless you want to or already have done it locally)

15:32 <noddy> i'm working on topkg'ing all the things around me.. but i first want ocb-stubblr released to avoid incurring extra pin-deps

15:38 <hannes> sure

15:42 fgimenez has quit [Ping timeout: 260 seconds]

15:43 fgimenez has joined #mirage

16:07 brson has quit [Ping timeout: 256 seconds]

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

16:26 fgimenez has quit []

16:27 jermar has quit [Ping timeout: 256 seconds]

16:35 mort___ has joined #mirage

16:45 rgrinberg has quit [Ping timeout: 244 seconds]

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

16:54 miragebot has joined #mirage

16:54 <miragebot> mirage/master 4f10c95 Mindy Preston: Merge pull request #633 from hannesm/disable-42...

16:54 <miragebot> mirage/master c9f41f6 Hannes Mehnert: disable warning 42; fixes #621; agreeing with @gasche argument; no 4.01 compat

16:54 <miragebot> [mirage] yomimono pushed 2 new commits to master: https://git.io/vPANQ

16:54 miragebot has left #mirage [#mirage]

16:55 miragebot has joined #mirage

16:55 <miragebot> mirage/master e346cf0 Mindy Preston: Merge pull request #634 from hannesm/minor...

16:55 <miragebot> mirage/master 3aa5235 Hannes Mehnert: use more concise syntax for package

16:55 <miragebot> [mirage] yomimono pushed 2 new commits to master: https://git.io/vPANb

16:55 miragebot has left #mirage [#mirage]

17:33 noddy has quit [Ping timeout: 245 seconds]

18:04 agarwal1975 has quit [Ping timeout: 256 seconds]

18:06 jermar has joined #mirage

18:14 rgrinberg has joined #mirage

18:24 noddy has joined #mirage

18:31 noddy has quit [Ping timeout: 256 seconds]

18:42 mort___ has joined #mirage

19:04 mort___1 has joined #mirage

19:05 mort___ has quit [Ping timeout: 256 seconds]

19:10 mort___ has joined #mirage

19:10 mort___ has quit [Client Quit]

19:10 mort___ has joined #mirage

19:12 mort___1 has quit [Ping timeout: 260 seconds]

19:13 brson has joined #mirage

19:16 smondet has joined #mirage

20:26 Bluerise has quit [Quit: brb]

20:28 noddy has joined #mirage

20:28 mort___1 has joined #mirage

20:29 mort___ has quit [Ping timeout: 260 seconds]

20:34 mort___ has joined #mirage

20:37 mort___1 has quit [Ping timeout: 244 seconds]

20:37 Bluerise has joined #mirage

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

20:55 agarwal1975 has joined #mirage

21:27 rgrinberg has quit [Ping timeout: 256 seconds]

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

22:36 agarwal1975 has quit [Quit: agarwal1975]

22:39 agarwal1975 has joined #mirage

22:41 smondet has quit [Ping timeout: 260 seconds]

23:04 dograt has quit [Quit: No Ping reply in 180 seconds.]

23:05 dograt has joined #mirage

23:36 _whitelogger has joined #mirage

23:44 apache2_ has joined #mirage

23:44 ebagdasa1 has quit [*.net *.split]

23:44 vbmithr_ has quit [*.net *.split]

23:44 tg has quit [*.net *.split]

23:44 tekacs has quit [*.net *.split]

23:44 julio_ has quit [*.net *.split]

23:44 lobo has quit [*.net *.split]

23:44 mattg has quit [*.net *.split]

23:44 _whitelogger has quit [Excess Flood]

23:45 _whitelogger_ has joined #mirage

23:46 caw has quit [Ping timeout: 244 seconds]

23:49 demonimin has quit [Ping timeout: 256 seconds]

23:51 demonimin has joined #mirage

23:52 caw has joined #mirage