info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Ada Support on Archlinux
86 views
Skip to first unread message
Rod Kay
Jul 9, 2023, 2:22:32 PM7/9/23
to
Hello.all,
Unfortunately, the attempt to have gprbuild and xmlada added into
the official Archlinux package repositories has not been successful.
Nonetheless, thanks to those who voted for these packages. The gist of
the problem from Arch's Trusted Users (who manage adding new packages
into the official repo's) was "I don't use Ada, so I won't sponsor it.".
Given this situation, I've created a custom repository for the (50
odd) Arch Ada packages, currently served by a Linode. Details (and the
current package list) can be found here ...
https://wiki.archlinux.org/title/Ada
If anyone has any suggestions for additional Ada projects to add to
the package list, please let me know.
Regards.
Unfortunately, the attempt to have gprbuild and xmlada added into
the official Archlinux package repositories has not been successful.
Nonetheless, thanks to those who voted for these packages. The gist of
the problem from Arch's Trusted Users (who manage adding new packages
into the official repo's) was "I don't use Ada, so I won't sponsor it.".
Given this situation, I've created a custom repository for the (50
odd) Arch Ada packages, currently served by a Linode. Details (and the
current package list) can be found here ...
https://wiki.archlinux.org/title/Ada
If anyone has any suggestions for additional Ada projects to add to
the package list, please let me know.
Regards.
Rod Kay
Jul 10, 2023, 1:08:43 AM7/10/23
to
Glug ... I jumped the gun a bit.
There is a security issue to be resolved. The above link will not
show the full details til then.
I'll re-post when the problem is fixed.
There is a security issue to be resolved. The above link will not
show the full details til then.
I'll re-post when the problem is fixed.
Rod Kay
Jul 16, 2023, 5:26:24 PM7/16/23
to
0 new messages