Tcl library dependencies

pkgIndex.tcl based libraries specific to the freebsd-arm64 platform.
(Canonical punkshell platform name - see punk::platform / 'help platforms')