Arch Linux User Repository

This package is available in the Arch Ada Repository.

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

@hurufu No problem. I find the policy a little odd, tbh. I've no idea of the rationale behind it :/ .

@charlie5 Thanks, so it looks like an AUR policy to never delete any repository, only de-list them... I was asking because it took unnecessary long time for me (version mismatch could've been a hint, duh) to figure out that I was installing wrong package.

I also experimented locally with adding conflicts=(gnatcoll-gmp), but it also doesn't seem to help.

hi @hurufu,

Here is the advice I received ...

(16:06:30) charlie5: i'm being asked to request deletion of gnatcoll-gmp ... gnatcoll-gmp is part of a split package gnatcoll-bindings

(16:07:01) charlie5: if i search the AUR for gnatcoll-gmp, it takes me to the gnatcoll-bindings package, as it should

(16:08:05) charlie5: ... but if i do a $ git clone https://aur.archlinux.org/gnatcoll-gmp.git I get a really old gnatcoll-gmp package cloned

(16:09:09) charlie5: so it kinda looks like there is still a separate gnatcoll-gmp git repo in the AUR git database, somehow

(16:09:33) charlie5: is there anyway, i can get it deleted ?

(17:07:20) charlie5: i think the gnatcoll-gmp git repo might be leftover from when the packages in gnatcoll-bindings split package were individual AUR packages, before they were combined into gnatcoll-bindings

(22:51:08) bertptrs: charlie5: the person cloning https://aur.archlinux.org/gnatcoll-gmp.git is wrong because this is a split package. They should clone https://aur.archlinux.org/gnatcoll-bindings.git. This is how split packages work

(23:00:01) charlie5: hi bertptrs ... thanks for replying ... yes, that is what i told him ... but it is still possible to git clone gnatcoll-gmp from the AUR and get the really old (2019) PKGBUILD which existed before the gnatcoll-gmp was incorporated into the current gnatcoll-bindings split package

(23:01:26) bertptrs: yes that's normal

(23:01:32) charlie5: perhaps i did not request for the 2019 gnatcoll-gmp package to be deleted before i made the gnatcoll-bindings split package

(23:01:42) bertptrs: packages are never deleted from the AUR git repos, even when deletion requests happen

(23:01:48) bertptrs: they are simply delisted

(23:02:06) charlie5: ah, ok ... that makes sense then

(23:03:41) charlie5: i thought i must have missed a step when creating the gnatcoll-bindings split package, which left the old specific gnatcoll-gmp git repo in existence

(23:04:15) bertptrs: no all is good

(23:04:51) charlie5: great ... thanks for clearing that up ! :)

@charlie5 Thanks.

@hurufu

I've asked for advice regarding the matter.

In the meantime, you can download a snapshot of gnatcoll-bindings (https://aur.archlinux.org/cgit/aur.git/snapshot/gnatcoll-bindings.tar.gz), run makepkg in the extracted folder and then "$ sudo pacman -U gnatcoll-gmp*.zst".

Or alternatively, just $ yay -S gnatcoll-gmp

Hi again @hurufu,

Yes, you were right. Sorry.

That's really weird !

I'll look into it.

Hi @charlie5, no, just literally try on your machine git clone https://aur.archlinux.org/gnatcoll-gmp.git you will clone 2019 version... And it will not work.

Hi @hurufu,

I assume you mean deletion of https://aur.archlinux.org/packages/gnatcoll-gmp-git ? That package is owned/maintained by pmderodat, so you would have to ask him to have it removed.

In any case, you should not be using/installing that '-git' version of the package. Simply use the stable version provided here.

Hi @charlie5, can you request deletion of gnatcoll-gmp with version 2019 from the AUR, because if I do git clone https://aur.archlinux.org/gnatcoll-gmp.git it still succeeds but version is bad, and then I get mysterious bugs with other packages. Basically people should only build gnatcoll-bindings which will provide all those packages.

Missing python-setuptools in the makedepends.