sel4_deps-0.8.0.dist-info/METADATA,sha256=A9hRZ8lipFwv6x3fRwLrEgaswK4duunegcnGoBLCVAo,1207
sel4_deps-0.8.0.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
sel4_deps-0.8.0.dist-info/top_level.txt,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
sel4_deps-0.8.0.dist-info/RECORD,,
