100644 blob 0448cf2d675d9a9a2a2968abb3d803ee2ad43a31	CMakeLists.txt
100644 blob 8488f4e58fe446e309549b1121a769d822b209d3	exe1.c
100644 blob b35e9cc5ec878b1cb461501e6084bfbb5eb1329e	lib1.c
100644 blob 0467b5a0d2df931a3a01f63bb1416557852bfea9	verify.cmake