Links for mypack-dotty