<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.43.0 (0)
 -->
<!-- Title: %3 Pages: 1 -->
<svg width="797pt" height="171pt"
 viewBox="0.00 0.00 797.00 171.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 167)">
<title>%3</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-167 793,-167 793,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_idris2&#45;dep&#45;graph</title>
<polygon fill="linen" stroke="black" points="8,-8 8,-155 781,-155 781,-8 8,-8"/>
<text text-anchor="middle" x="394.5" y="-139.8" font-family="Times,serif" font-size="14.00">idris2&#45;dep&#45;graph</text>
</g>
<!-- DepGraph.Data -->
<g id="node1" class="node">
<title>DepGraph.Data</title>
<ellipse fill="white" stroke="black" cx="99" cy="-34" rx="83.39" ry="18"/>
<text text-anchor="middle" x="99" y="-30.3" font-family="Times,serif" font-size="14.00">DepGraph.Data</text>
</g>
<!-- DepGraph.Cli -->
<g id="node2" class="node">
<title>DepGraph.Cli</title>
<ellipse fill="white" stroke="black" cx="274" cy="-34" rx="73.39" ry="18"/>
<text text-anchor="middle" x="274" y="-30.3" font-family="Times,serif" font-size="14.00">DepGraph.Cli</text>
</g>
<!-- Idris.Package.Extra -->
<g id="node3" class="node">
<title>Idris.Package.Extra</title>
<ellipse fill="white" stroke="black" cx="467" cy="-34" rx="102.08" ry="18"/>
<text text-anchor="middle" x="467" y="-30.3" font-family="Times,serif" font-size="14.00">Idris.Package.Extra</text>
</g>
<!-- Idris.Driver.Extra -->
<g id="node4" class="node">
<title>Idris.Driver.Extra</title>
<ellipse fill="white" stroke="black" cx="680" cy="-34" rx="92.88" ry="18"/>
<text text-anchor="middle" x="680" y="-30.3" font-family="Times,serif" font-size="14.00">Idris.Driver.Extra</text>
</g>
<!-- Main -->
<g id="node5" class="node">
<title>Main</title>
<ellipse fill="white" stroke="black" cx="370" cy="-106" rx="34.39" ry="18"/>
<text text-anchor="middle" x="370" y="-102.3" font-family="Times,serif" font-size="14.00">Main</text>
</g>
<!-- Main&#45;&gt;DepGraph.Data -->
<g id="edge1" class="edge">
<title>Main&#45;&gt;DepGraph.Data</title>
<path fill="none" stroke="black" d="M335.4,-106C262.34,-106 99,-106 99,-106 99,-106 99,-62.17 99,-62.17"/>
<polygon fill="black" stroke="black" points="102.5,-62.17 99,-52.17 95.5,-62.17 102.5,-62.17"/>
</g>
<!-- Main&#45;&gt;DepGraph.Cli -->
<g id="edge2" class="edge">
<title>Main&#45;&gt;DepGraph.Cli</title>
<path fill="none" stroke="black" d="M341.5,-95.68C341.5,-95.68 341.5,-51.24 341.5,-51.24"/>
<polygon fill="black" stroke="black" points="345,-51.24 341.5,-41.24 338,-51.24 345,-51.24"/>
</g>
<!-- Main&#45;&gt;Idris.Package.Extra -->
<g id="edge3" class="edge">
<title>Main&#45;&gt;Idris.Package.Extra</title>
<path fill="none" stroke="black" d="M384.7,-89.66C384.7,-89.66 384.7,-54.69 384.7,-54.69"/>
<polygon fill="black" stroke="black" points="388.2,-54.69 384.7,-44.69 381.2,-54.69 388.2,-54.69"/>
</g>
<!-- Main&#45;&gt;Idris.Driver.Extra -->
<g id="edge4" class="edge">
<title>Main&#45;&gt;Idris.Driver.Extra</title>
<path fill="none" stroke="black" d="M404.66,-106C485.55,-106 680,-106 680,-106 680,-106 680,-62.17 680,-62.17"/>
<polygon fill="black" stroke="black" points="683.5,-62.17 680,-52.17 676.5,-62.17 683.5,-62.17"/>
</g>
</g>
</svg>