100644 blob 575bf50e441b9ab6d9e11fa7805cd9133976fc18	CMakeLists.txt
100644 blob 8488f4e58fe446e309549b1121a769d822b209d3	exe1.c
100644 blob b35e9cc5ec878b1cb461501e6084bfbb5eb1329e	lib1.c
100644 blob 99cef63b49a1bd4f7c81f563728d51e7911f00bc	verify.cmake