{
  tvb = [
    ./nix-on-droid.vagrant.pub
    ./tvb.backyard.pub
    ./tvb.catacomb.pub
    ./tvb.centroid.pub
    ./tvb.empyrean.pub
    ./tvb.imperium.pub
    ./tvb.palamas.pub
    ./tvb.stagirite.pub
    ./tvb.unfolder.pub
    ./tvb.vagrant.pub
  ];
}