Hifitime

What's Changed
* Update pyo3 requirement from 0.19.0 to 0.20.0 by dependabot in https://github.com/nyx-space/hifitime/pull/259


**Full Changelog**: https://github.com/nyx-space/hifitime/compare/3.8.4...3.8.5

What's Changed
* Day of year formatting now parses elapsed time by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/253


**Full Changelog**: https://github.com/nyx-space/hifitime/compare/3.8.3...3.8.4

Notice for 3.x

With a bit of luck, this will be the last release of 3.x as version 4 makes its way to production. Version 4 will bring more consistency in time scale handling by not converting everything to TAI, but using the initialization time scale whenever possible. Follow the progress on https://github.com/nyx-space/hifitime/milestone/14 and don't hesitate to propose features or contribute. Thanks

What's Changed
* Update pyo3 requirement from 0.18.1 to 0.19.0 by dependabot in https://github.com/nyx-space/hifitime/pull/242
* Update tabled requirement from 0.12.0 to 0.14.0 by dependabot in https://github.com/nyx-space/hifitime/pull/251


**Full Changelog**: https://github.com/nyx-space/hifitime/compare/3.8.2...3.8.3

What's Changed
* Add example for 202 by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/207
* Update tabled requirement from 0.10.0 to 0.11.1 by dependabot in https://github.com/nyx-space/hifitime/pull/219
* Export epoch formatters to Python by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/220
* Switch from staticmethod to classmethod by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/222
* Add action summary for benchmark by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/223
* Update tabled requirement from 0.11.1 to 0.12.0 by dependabot in https://github.com/nyx-space/hifitime/pull/225
* Cleanup README and fix Gregorian print bug < 1900 by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/233
* Update criterion requirement from 0.4.0 to 0.5.1 by dependabot in https://github.com/nyx-space/hifitime/pull/236
* fix december for MonthName from u8 by Massou31 in https://github.com/nyx-space/hifitime/pull/235

New Contributors
* Massou31 made their first contribution in https://github.com/nyx-space/hifitime/pull/235

**Full Changelog**: https://github.com/nyx-space/hifitime/compare/3.8.1...3.8.2

Thanks again to [gwbres](https://github.com/gwbres) for his work in this release!

+ Fix CI of the formal verification and upload artifacts, cf. [179](https://github.com/nyx-space/hifitime/pull/179)
+ Introduce time of week construction and conversion by [gwbres](https://github.com/gwbres), cf.[#180](https://github.com/nyx-space/hifitime/pull/180) and [#188](https://github.com/nyx-space/hifitime/pull/188)
+ Fix minor typo in `src/timeunits.rs` by [gwbres](https://github.com/gwbres), cf. [#189](https://github.com/nyx-space/hifitime/pull/189)
+ Significantly extend formal verification of `Duration` and `Epoch`, and introduce `kani::Arbitrary` to `Duration` and `Epoch` for users to formally verify their use of time, cf. [192](https://github.com/nyx-space/hifitime/pull/192)
+ It is now possible to specify a Leap Seconds file (in IERS format) using the `LeapSecondsFile::from_path` (requires the `std` feature to read the file), cf. [43](https://github.com/nyx-space/hifitime/issues/43).
+ UT1 time scale is now supported! You must build a `Ut1Provider` structure with data from the JPL Earth Orientation Parameters, or just use `Ut1Provider::download_short_from_jpl()` to automatically download the data from NASA JPL.
+ `strptime` and `strftime` equivalents from C89 are now supported, cf. [181](https://github.com/nyx-space/hifitime/issues/181). Please refer to the [documentation](https://docs.rs/hifitime/latest/hifitime/efmt/format/struct.Format.html) for important limitations and how to build a custom formatter.
+ ISO Day of Year and Day In Year are now supported for initialization of an Epoch (provided a time scale and a year), and formatting, cf. [182](https://github.com/nyx-space/hifitime/issues/182).
+ **Python:** the representation of an epoch is now in the time scale it was initialized in



What's Changed
* Fix formal verification by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/179
* timeofweek: introduce time of week construction and conversion by gwbres in https://github.com/nyx-space/hifitime/pull/180
* src/timeunits.rs: fix minor typo by gwbres in https://github.com/nyx-space/hifitime/pull/189
* src/epoch.rs: fix gh 187 by gwbres in https://github.com/nyx-space/hifitime/pull/188
* Extend formal verification by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/192
* Support strftime and strptime equivalent for formatting and parsing by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/190
* Add support for LeapSecondsFile and UT1 by ChristopherRabotin in https://github.com/nyx-space/hifitime/pull/194


**Full Changelog**: https://github.com/nyx-space/hifitime/compare/3.7.0...3.8.0

What's Changed
* timescale.rs: derive serdes traits when feasible by gwbres in https://github.com/nyx-space/hifitime/pull/167
* timecale.rs: introduce format/display by gwbres in https://github.com/nyx-space/hifitime/pull/168
* readme: fix BeiDou typo by gwbres in https://github.com/nyx-space/hifitime/pull/169
* epoch: derive Hash by gwbres in https://github.com/nyx-space/hifitime/pull/170
* timescale: identify GNSS timescales from standard 3 letter codes by gwbres in https://github.com/nyx-space/hifitime/pull/171
* timescale: standard formatting is now available by gwbres in https://github.com/nyx-space/hifitime/pull/174
* epoch, duration: improve and fix serdes feature by gwbres in https://github.com/nyx-space/hifitime/pull/175
* epoch, timescale: implement default trait by gwbres in https://github.com/nyx-space/hifitime/pull/176


**Full Changelog**: https://github.com/nyx-space/hifitime/compare/3.6.0...3.7.0