zarith-freestanding.1.6 + zarith-xen.1.6#10350

Merged

samoht merged 5 commits intoocaml:masterfrom hannesm:zarith-free

Oct 10, 2017

+429

Commits on Oct 2, 2017

Commits on Oct 3, 2017

solo5-kernel-ukvm, solo5-kernel-virtio: 0.2.2-1 which includes a patch removing -Werror to unbreak build with gcc7
hannesm
committed

Commits on Oct 5, 2017

solo5-kernel-ukvm: patch to avoid #include <asm/msr-index.h>, no longer shipped with linux-libc-dev (by @mato )
hannesm
committed

Commits on Oct 7, 2017

gmp-xen, gmp-freestanding needs m4
hannesm
committed