pkg-config will already be installed from the sdk repo I imagine, ginac may exist but I'm not sure. Quite often the package names are subtly different from the name we use for a package, and you have to be precise.

Try "apt-cache search ginac" to search for packages that contain the characters "ginac".