Would dd/mm/yyyy ever come into play? (Part of the reason I ask is I found out that Python's datetime library doesn't seem to have a function to turn a date string into a date object.

The newly approved Python Enhancement Proposal 751 gives Python a standard lock file format for specifying the dependencies of projects. Here’s the what, why, and when.