11.0.0.xml

<manifest>
  <!--
       Copyright 2020, Data61, CSIRO
       SPDX-License-Identifier: BSD-2-Clause
  -->
  <remote fetch="../sel4proj" name="projects"/>
  <remote fetch="." name="verification"/>

  <default remote="verification" revision="master"/>

  <project name="HOL" path="HOL4" remote="projects" revision="ca71e46c32fd6a11162c9640ee7006dfe1c6fabd" upstream="successful-decompile"/>
  <project name="graph-refine" remote="projects" revision="debb3352b9740f013fbff390547f5cf5021a224d" upstream="master"/>
  <project name="isabelle" revision="refs/tags/Isabelle2019"/>
  <project name="l4v" revision="b9c285400d7a3fd6e01e9921454a8a44e991a7dd" upstream="master"/>
  <project name="polyml" path="HOL4/polyml" remote="projects" revision="67e87c763417dd5ea088d924ec249346a80ccd60" upstream="successful-decompile"/>
  <project name="seL4" revision="ff216025041bfab6a45080eaabda2ff4af5db3e9"/>
  </manifest>