avsm changed the topic of #mirage to: Good news everyone! Mirage 3.0 released!
ottbot has joined #mirage
boadie has joined #mirage
boadie has quit [Client Quit]
ottbot has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
copy_ has quit [Quit: Connection closed for inactivity]
yegods has quit [Remote host closed the connection]
ottbot has joined #mirage
ottbot has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
demonimin_ has joined #mirage
demonimin has quit [Ping timeout: 240 seconds]
demonimin has joined #mirage
demonimin_ has quit [Ping timeout: 246 seconds]
demonimin_ has joined #mirage
demonimin has quit [Ping timeout: 268 seconds]
AltGr has joined #mirage
argent_smith has joined #mirage
lars_kurth has quit [Ping timeout: 246 seconds]
lars_kurth has joined #mirage
demonimin_ is now known as demonimin
<hannes> mato: from what I read, openlibm isn't really ported to arm64 (yet?)... there may need more than frexpl to be fixed
<mato> hannes: I had a look at commits to master since the version we have in ocaml-freestanding, and it seems at least some porting has been done. In any case, frexpl() is the only thing that was obviously missing.
<mato> (and the version we have now does build on aarch64, no idea how well it actually runs)
<mato> hannes: ah, i didn't see that. unclear if that is still the case -- see e.g. https://github.com/JuliaLang/openlibm/pull/151
<mato> ... there's only one way to find out, which is to run something that builds ... :)
<hannes> mato: ic... well, there's a test target luckily :)
<hannes> lunch bbl
_whitelogger has joined #mirage
copy_ has joined #mirage
mort___ has joined #mirage
miragebot has joined #mirage
<miragebot> mirage/master b9c6fcf Anil Madhavapeddy: doc updates: remove odig pin, trim package list, pin cstruct...
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 5010c3a Anil Madhavapeddy: Merge pull request #842 from avsm/doc5...
<miragebot> [mirage] avsm pushed 2 new commits to master: https://git.io/vQvT2
mort___ has quit [Quit: Leaving.]
ahf_ has joined #mirage
smondet[m] has quit [*.net *.split]
ahf has quit [*.net *.split]
philtor has quit [*.net *.split]
ahf_ is now known as ahf
mort___ has joined #mirage
philtor has joined #mirage
smondet[m] has joined #mirage
yomimono has joined #mirage
yegods has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
yegods has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
yegods has joined #mirage
smkz has quit [*.net *.split]
def` has quit [*.net *.split]
Bluerise has quit [*.net *.split]
mato has quit [*.net *.split]
def`_ has joined #mirage
Bluerise has joined #mirage
smkz has joined #mirage
mato has joined #mirage
yomimono has quit [Ping timeout: 240 seconds]
yegods has quit []
mort___ has joined #mirage
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 8b60a4e Anil Madhavapeddy: docs: add more recent packages
<miragebot> mirage/master 6a98a5a Anil Madhavapeddy: docs: install odig from stable version
<miragebot> [mirage] avsm pushed 2 new commits to master: https://git.io/vQvbz
yegods has joined #mirage
AltGr has left #mirage [#mirage]
yomimono has joined #mirage
mort___ has quit [Quit: Leaving.]
burr is now known as poka
argent_smith has quit [Quit: Leaving.]