Package Details: all-ada 1.0-1

Git Clone URL: https://aur.archlinux.org/all-ada.git (read-only, click to copy)
Package Base: all-ada
Description: A meta package which installs all Ada tools and components.
Upstream URL: None
Licenses: None
Submitter: charlie5
Maintainer: charlie5
Last Packager: charlie5
Votes: 2
Popularity: 0.000043
First Submitted: 2023-07-08 14:11 (UTC)
Last Updated: 2024-04-28 09:48 (UTC)

Pinned Comments

charlie5 commented on 2023-07-09 16:28 (UTC)

This package is available in the Arch Ada Repository.

https://wiki.archlinux.org/title/Ada

Latest Comments

« First ‹ Previous 1 2

mindbound commented on 2023-07-16 20:21 (UTC) (edited on 2023-07-16 20:23 (UTC) by mindbound)

@charlie5 Everything seems to work now, thanks for the update!

The only weird issue is that, every time I do a pacman -Syu update, it keeps asking me if I want to replace gnatcoll-python with ada/gnatcoll-python, even though I have already done so.

charlie5 commented on 2023-07-16 20:07 (UTC)

hi @mindbound

I had to disable the repo due to a potential security problem (MITM attacks). I've just now signed all the packages to prevent MITM exploits.

Can you try again and please let me know if you have any trouble ?

Regards.

mindbound commented on 2023-07-16 11:54 (UTC)

The Arch Ada Repository seems to be down or changed address (from http://www.orthanc.site:8080/assets/arch_ada_repo).

charlie5 commented on 2023-07-09 16:28 (UTC)

This package is available in the Arch Ada Repository.

https://wiki.archlinux.org/title/Ada