100644 blob ea4358f8a6de0aefd28c49c1f444af29de48a9e2	CleanSpec.mk
040000 tree e4adb6b98d2a2433d169d515abcc493075f50751	tests
040000 tree e9e865cd4d8b3fcacc4822cbba4bd29587f4dd50	v13
040000 tree 0a72209fb2e0459ee0806e8b54e764bc4b47150d	v4
040000 tree 5080c887ad0c42e7591a451bbf12bcbe2433caed	v7
040000 tree f41d9398e2f28d66d771d8e9b141e72fcc2f16a7	v8