/var/spack/repos/builtin/packages/kripke/
../
package.py