path/to/file.py:target_name

is the "proper name" of a file-level target (generated by

path/to:target_name

)