seL4-3.0.1.xml

<manifest>
  <!--
       Copyright 2020, Data61, CSIRO
       SPDX-License-Identifier: BSD-2-Clause
  -->
  <remote fetch="https://github.com/HOL-Theorem-Prover" name="HOL4-github" />
  <remote fetch="../sel4proj" name="projects" />
  <remote fetch="." name="verification" />

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

  <project name="HOL" path="HOL4" remote="HOL4-github" revision="08b750fdf2f6012a69a4222a94fd08b8154dbff0" />
  <project name="graph-refine" remote="projects" revision="refs/tags/seL4-3.0.1" upstream="master" />
  <project name="isabelle" revision="refs/tags/Isabelle2016" />
  <project name="l4v" revision="refs/tags/seL4-3.0.1" upstream="master" />
  <project name="seL4" revision="refs/tags/3.0.1" />
</manifest>