Automatic update for alt-ergo-2.3.3-2.fc37.
* Tue Jul 5 2022 Jerry James <loganjerry@gmail.com> - 2.3.3-2
- Patch out uses of the dune external-lib-deps command
- Patch out references to the seq forward compatibility module
- Use new OCaml macros
sudo dnf upgrade --refresh --advisory=FEDORA-2022-9b384bc971Please login to add feedback.
This update was automatically created
This update's test gating status has been changed to 'waiting'.
This update's test gating status has been changed to 'ignored'.
This update has been submitted for stable by bodhi