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