Package Details: gnatcoll-gnatinspect 1:25.0w-1

Git Clone URL: (read-only, click to copy)
Package Base: gnatcoll-gnatinspect
Description: GNAT Components Collection - the gnatinspect tool.
Upstream URL:
Licenses: custom, GPL3
Submitter: charlie5
Maintainer: charlie5
Last Packager: charlie5
Votes: 4
Popularity: 0.000000
First Submitted: 2018-09-07 04:07 (UTC)
Last Updated: 2024-05-31 06:13 (UTC)

Pinned Comments

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

This package is available in the Arch Ada Repository.

Latest Comments

1 2 Next › Last »

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

This package is available in the Arch Ada Repository.

Armag67 commented on 2020-05-26 22:10 (UTC) (edited on 2020-05-26 22:10 (UTC) by Armag67)


Need I the 10.1.0-2 version of gcc and gcc-ada?

xiretza commented on 2020-05-26 16:26 (UTC)

I just learned a lesson on why trying to support users of other distros is a huge waste of time. Arch User Repository maintainers are not responsible for your problems with a non-Arch distro, let this also be a reminder to you to not waste their time in the future.

Armag67 commented on 2020-05-26 16:21 (UTC)

Hello xiretza,

Versions of gcc-ada and gcc on my Manjaro distro:

[h2@Toshiba ~]$ pacman -Q gcc-ada
gcc-ada 9.3.0-1
[h2@Toshiba ~]$ pacman -Q gcc
gcc 9.3.0-1

Following your message, I checked the versions on Arch of gcc and gcc-ada and they are at 10.1.0-2... Should I ask at Philip Müller to upgrade them?

xiretza commented on 2020-05-26 11:49 (UTC)

@Armag67: you're using an old gcc. Update and post pacman -Q gcc-ada

Armag67 commented on 2020-05-25 21:18 (UTC)


How can I transmit you the built gnatcoll-core package installed on my system? Is it the gnatcoll-core-2020-1-x86_64.pkg.tar.xz Alpm package built by makepkg? I have uploaded it at:


xiretza commented on 2020-05-25 17:39 (UTC)

Those source files are correct, but makepkg always checks their checksums anyway, so they were a very unlikely culprit. The built gnatcoll-core package would be much more interesting because that's what actually gets installed on your system.

Armag67 commented on 2020-05-24 21:04 (UTC) (edited on 2020-05-24 22:52 (UTC) by Armag67)

Hello xiretza,

I have created a git folder in my home, and in this folder I have launch at CLI:

git clone, then: cd gnatcoll-core followed by makepkg -si, and gnatcoll-core was again reinstalled without trouble.

Then I made the same with gnatcoll-gnatinspect:

git clone
cd gnatcoll-gnatinspect
makepkg -si

makepkg threw the same traceback as in my previous attempts to upgrade gnatcoll-gnatinspect with pamac.

You can download the source files of gnatcoll-core and gnatcoll-gnatinspect fetched by makepkg on my personal server at:

Thank you for your attention.

Edit: I just saw that after the failure of makepkg -si in the gnatcoll-gnatinspect folder, a new folder named pkg appears with strange access permissions:

[h2@Toshiba gnatcoll-gnatinspect]$ ls -dl */
d--x--x--x 2 h2 h2 4096 25 mai   00:12 pkg/
drwxr-xr-x 3 h2 h2 4096 25 mai   00:12 src/

When y chmod this directory it is empty...

The same pkg folder in the gnatcoll-core directory contains a lot of things.

xiretza commented on 2020-05-23 15:02 (UTC)

Ah, no support for other distros or AUR helpers. See for information on how to use the AUR.

Armag67 commented on 2020-05-23 14:36 (UTC) (edited on 2020-05-23 14:39 (UTC) by Armag67)

Hello xiretza,

I am using pamac with AUR support on Manjaro to install/update AUR packages but it doesn't hold the sources of AUR packages in the cache. In find only a: /tmp/pamac/aur-h2/gnatcoll-core-2020-1/ directory with a single little desc text file. (h2 is my user name)

In have also (via the AUR snapshot information contained in it's .SRCINFO file) manually downloaded the gnatcoll-core-2020-20200429-19B7C-src.tar.gz archive (1.3 Mio).

I downloaded via the same way the gnatcoll-db-20.2.tar.gz archive (2.3Mio) which contain gnatcoll-gnatinspect.

But I don't know how to install them manually.