Pipfileの仕様はどこで定義されていますか？

環境

• Pipenv 2018.11.26

質問

Pipfileの仕様はどこで定義されていますか？

たとえば、以下のようなことを知るために、Pipfileの仕様を知りたいです。

• urlは何を指しているのか？
• packages or dev-packagesではpath,editable以外に、どんなオプションが利用できるか
• requests = "*"のアスタリスクは、何に対してのワイルドカードか？たぶんバージョン？

[[source]]
url = "https://pypi.org/simple"
verify_ssl = true
name = "pypi"


[packages]
requests = "*"

[dev-packages]
"e1839a8" = {path = ".", editable = true}

https://github.com/pypa/pipfile を見ましたが、特に仕様らしきものは記載されていませんでした。