Add a fix to cope with blank lines in F*'s dependency output
Add a fix to cope with blank lines in F*'s dependency output

project-everest/vale,project-everest/vale,project-everest/vale,project-everest/vale