tree 14a71ad9230bb8f9175ecd8c4556e604c993ba4c
parent 8fa93fc5cc67fd6cd9f69a603e5787144fe16835
author Scott Baker <smbaker@gmail.com> 1416251694 -0800
committer Scott Baker <smbaker@gmail.com> 1416251694 -0800

fix dependency name in servcomp migration