-
In principle, you could get them out by demunging the sourcePackageId, but it seems more direct to just let people read it out directly. Use of Maybe ensures we don't write out these fields when they're the defaults. Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
14b7cf16