Kai Wohlfahrt d752677b1b kerberos: explicitly install krb5Full.dev for tests ...

This contains all of the user binaries as of 13e6a5c.

2018-12-11 13:33:10 +00:00

..

default.nix

…

heimdal.nix

…

mit.nix

…