100644 blob 845ab1467e3d0e92b58cff9bd45ff6691adf2bd9	CMakeLists.txt
100644 blob 8488f4e58fe446e309549b1121a769d822b209d3	exe1.c
100644 blob b35e9cc5ec878b1cb461501e6084bfbb5eb1329e	lib1.c
100644 blob 597924ffb9b0ab323dd5c4cfd8dc661a835b0313	verify.cmake