040000 tree 3a9fd265b67192c1a95c56dd2ad7a7678be5372c	directory_entry.cons
040000 tree 00d5e97e544c882e3acb26195a23ba2571ad7afe	directory_entry.io
040000 tree b3bfb458297c8997b474a1e1d5640f6618bf5840	directory_entry.mods
040000 tree 452fc6aa89287cad10ad3cf3babba0cb0361e024	directory_entry.obs