diff --git a/build-with-docker.sh b/build-with-docker.sh index b484c2f..ad8d3b7 100755 --- a/build-with-docker.sh +++ b/build-with-docker.sh @@ -5,5 +5,5 @@ docker build -t qubes-mirage-firewall . echo Building Firewall... docker run --rm -i -v `pwd`:/home/opam/qubes-mirage-firewall qubes-mirage-firewall echo "SHA2 of build: $(sha256sum qubes_firewall.xen)" -echo "SHA2 last known: b4758e0911acd25c278c5d4bb9feb05daccb5e3d6c3692b5e2274b098971e1b8" +echo "SHA2 last known: 9f7d064a194be07301173389a4414266cd5d7ef935b16ed29a978a33cb92884c" echo "(hashes should match for released versions)" diff --git a/config.ml b/config.ml index 4171927..c27223a 100644 --- a/config.ml +++ b/config.ml @@ -27,7 +27,7 @@ let main = package "ethernet"; package "mirage-protocols"; package "shared-memory-ring" ~min:"3.0.0"; - package "netchannel" ~min:"1.11.0" ~pin:"git+https://github.com/mirage/mirage-net-xen.git"; + package "netchannel" ~min:"1.11.0"; package "mirage-net-xen"; package "ipaddr" ~min:"3.0.0"; package "mirage-qubes";