Using oseq 0.5 in timere

daypack-dev / timere

OCaml date time handling and reasoning suite

MIT License

68 stars 7 forks source link

Using oseq 0.5 in timere #75

Closed ElectreAAS closed 7 months ago

ElectreAAS commented 8 months ago

This PR contains the necessary changes to use OSeq 0.5 The OSeq O.5 release contains breaking changes to its API, but not to its functionnality. Another option would be to add an upper-bound in opam files

darrenldl commented 7 months ago

Thanks!