Actually, Pipfiles are more akin to the two supported mechanisms, requirements.txt is not always used with version pinning