On 13 Jul 2016, at 16:25, John P. McDermott (USN Civilian) <[email protected]> wrote: > > Thanks. Switching OCaml to 4.02.3 and re-running everything brings Mirage up > to 2.9.0.
Appreciate the reports! I've done a sweep of the docs to address some of these issues in https://github.com/mirage/mirage-www/pull/468 and will merge it tomorrow (once I figure out the Debian Stable's packaging situation for OPAM 1.2.2). > > Sincerely, > > John (who is learning OCaml based on his Isabelle/HOL experience) Excellent! Please do let us know if you run into any further roadblocks... Anil _______________________________________________ MirageOS-devel mailing list [email protected] https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
