search

robur-coop / albatross

Albatross: orchestrate and manage MirageOS unikernels with Solo5
ISC License
142 stars 17 forks source link

Nix: Update inputs #175

Closed Julow closed 2 months ago

Julow commented 2 months ago

This updates all inputs at once, including upgrading to the latest opam-repository.

hannesm commented 2 months ago

thanks for your prompt reply and PR