Support #:name in deps

[sorawee]

What version of Racket are you using?
8.5 [cs]

A dependency, which is a package source string, could be a remote URL naming a Git repository. However, the repo name could be invalid package name. Examples include https://github.com/takikawa/pprint.plt and https://github.com/samth/javascript.plt

It would be nice if we can specify:

["https://github.com/takikawa/pprint.plt.git" #:name "pprint"]

as a dependency, and it would essentially run raco pkg install --name pprint https://github.com/takikawa/pprint.plt.git when installing the dependency.

[PanAeon]

Hi I run into this issue recently. I think this is not a feature request, but a proper bug in the design that confuses end users and new package contributors.

Example of the problems this approach creates: catppuccin/drracket#7

I think the proper fix is to priorities #name field from the info.rkt and produce a warning when this field is omitted when raco pkg is invoked.