search

mirage / qubes-mirage-firewall

A Mirage firewall VM for QubesOS
208 stars 28 forks source link

update opam repository in Dockerfile #199

Closed hannesm closed 1 month ago

hannesm commented 1 month ago

the reason behind this is that in the earlier commit, some urls point to unavailable urls.

hannesm commented 1 month ago

/cc @palainp from my side, good to merge

palainp commented 1 month ago

Thank you @hannesm , it works as expected and this PR LGTM. I plan to cut a release soon for mirage-qubes, and update the unikernel against that new release before cutting a new qubes-mirage-firewall release. In the meantime, I've opened #200.