avsm changed the topic of #mirage to: mirage 2 released! party on!
brson has quit [Quit: leaving]
rgrinberg has quit [Ping timeout: 240 seconds]
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 260 seconds]
copy` has quit [Quit: Connection closed for inactivity]
jermar has joined #mirage
jermar has quit [Ping timeout: 244 seconds]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
dexterph has joined #mirage
AltGr has joined #mirage
mort___ has joined #mirage
jermar has joined #mirage
<hannes>
mato: thanks for trying, I'll look deeper into that later today... and great that you're doing releases! :)
<mato>
hannes: yeah, just started, PRs #7019, #7020. Once those are in ocaml-freestanding is next.
<mato>
hannes: Then mirage-solo5, and the remainder should just be leaf packages (drivers).
<hannes>
mato: yes, excellent!
<hannes>
mato: I'll take care of entropy and nocrypto (but please push gmp/zarith-freestanding)
<mato>
hannes: ack, thanks!
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
copy` has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
yomimono has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Client Quit]
rgrinberg has joined #mirage
mort___ has joined #mirage
<mato>
hannes: progressing... I may not be able to get all the packages in today (the CI cycles take ages). Will babysit the rest remotely from Croatia on Mon/Tue if that turns out to be the case.
<yomimono>
☀️
mort___ has quit [Quit: Leaving.]
<hannes>
mato: if you do PR to mirage/mirage, I'm happy to help rebasing..
<mato>
hannes: PR will have to be done without me, that's way too much work to do before/on holiday...
<mato>
hannes: AFAIK yomimono also said she'd be able to help get it in
<yomimono>
correct!
<yomimono>
(well, until 1 august anyway)
mort___ has joined #mirage
<hannes>
mato: I'll steal commits, rebase and PR
<hannes>
(once I manage to solve this entropy thing here)
mort___ has quit [Quit: Leaving.]
<hannes>
mato: I just pushed updates to mirage-entropy & nocrypto, solo5 branches in my repos, it compiles now! :)
<mato>
hannes: wunderbar!
<yomimono>
\o/
<mato>
hannes: At avsm's suggestion, I'm going to submit all my PRs now so as not to have to hack at the beginning of holiday :)
<hannes>
mato: great. as said, I'm now fetching and sorting the mirage/mirage changes for solo5
<mato>
hannes: Please let djwillia know you'll do that (best on Slack i guess)