Hi Jerry,
On Mon, Dec 27, 2021 at 03:42:12PM -0700, Jerry James wrote:
Happy holidays, OCaml packagers!
Hope you had a good holiday!
Updates for packages that I maintain or comaintain:
- alt-ergo 2.3.0
- ocaml-atd (same version, but extensive updates; also, claim this package)
I reclaimed this, but I'll add you to the ACL.
Looking forward to the updates! I plan on resuming work packaging the
Infer dependencies, but likely won't have time to get back to Ocaml
packaging until after getting some work done for my CentOS Dojo talk
next month.
Best regards,
--
Michel Alexandre Salim
profile:
https://keyoxide.org/michel@michel-slm.name