040000 tree 72a690e57fa117d4dbe88d00b4be76cf9aedcc75	directory_entry.cons
040000 tree 8c99189ab90b1505f5ad28421b031c194dd3463f	directory_entry.io
040000 tree b70df2f420dfc45e7fa322791886a89ff42c98e5	directory_entry.mods
040000 tree 6cc7ad39833a25ca9e9d8f08f2080fb1bbeeeadf	directory_entry.obs
100644 blob 60917615f95e25f312fb287a42f5d977ac49aa65	lit.local.cfg