anchor.diff:        };
   
         device = mkOption {
  +        type = types.str;
           default = "/dev/ttyUSB0";
           description = ''
             A device may be a local serial device for GPS input, or a URL of the form:
  
positive.code:       };
  
        debugLevel = mkOption {
          default = 0;
          description = ''
            The debugging level.
  
negative.code:       };
  
        port = mkOption {
          type = types.uniq types.int;
          default = 2947;
          description = ''
            The port where to listen for TCP connections.
  