dune 114 Bytes Edit 1 2 3 4 5 6 7 (executable (name cwe_checker) (public_name cwe_checker) (libraries cwe_checker_core core_kernel) )
