(vcomp :repo "tarsius/vcomp" :fetcher github)