-
Notifications
You must be signed in to change notification settings - Fork 15
/
5.1.0.xml
17 lines (15 loc) · 805 Bytes
/
5.1.0.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
<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="de3d90c7789066723ab5cbdb7f5fe3b1e502297b" upstream="master"/>
<project name="isabelle" revision="refs/tags/Isabelle2016-1"/>
<project name="l4v" revision="cccb7033b8e03a8354630cc899439d6339e8fe0a" upstream="master"/>
<project name="seL4" revision="598c9d1efc2b10c475a92fd5775d8280c766b77f"/>
</manifest>