Sebastian Huber created a merge request: https://gitlab.rtems.org/rtems/prequal/rtems-central/-/merge_requests/17
Project:Branches: sebhub/rtems-central:update-tools to rtems/prequal/rtems-central:main Author: Sebastian Huber Assignee: Sebastian Huber Replace the tooling with updated tools available through PyPI: * [specitems](https://pypi.org/project/specitems/) * [specware](https://pypi.org/project/specware/) * [specmake](https://pypi.org/project/specmake/) The tooling is installed using the [uv package and project manager](https://docs.astral.sh/uv/). -- View it on GitLab: https://gitlab.rtems.org/rtems/prequal/rtems-central/-/merge_requests/17 You're receiving this email because of your account on gitlab.rtems.org.
_______________________________________________ bugs mailing list [email protected] http://lists.rtems.org/mailman/listinfo/bugs
