Links for idris2packages-pack