1
 2
 3
 4
 5
 6
 7
 8
 9
10

# The contents of //users.
#
# This is a *namespace* file: it names every package in this directory
# explicitly. See //README.md for the two rules that govern the layout of this
# repository.
{ ... }@args:

{
  Profpatsch = import ./Profpatsch/packages.nix args;
}