summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO1
-rw-r--r--PKGBUILD3
2 files changed, 1 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index af3a00674834..bc930602f35e 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -8,7 +8,6 @@ pkgbase = adasat
license = Apache
makedepends = gprbuild
depends = gcc-ada
- depends = python-e3-core
source = https://github.com/charlie5/archlinux-gnatstudio-support/raw/main/gnatstudio-sources/adasat-24.0w-20230324-16568-src.tar.gz
sha256sums = 8e5d14931c456144575501e6d45dd1bbe5adebcea05346ac1940087bf8c5ce9d
diff --git a/PKGBUILD b/PKGBUILD
index e1c3dd5244e0..b5929bd0f172 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -9,8 +9,7 @@ url=https://github.com/AdaCore/AdaSAT
arch=(i686 x86_64)
license=(Apache)
-depends=(gcc-ada
- python-e3-core) # This is here to try to force AUR helpers to install this dependency, which is required by 'langkit'.
+depends=(gcc-ada)
makedepends=(gprbuild)
source=(https://github.com/charlie5/archlinux-gnatstudio-support/raw/main/gnatstudio-sources/$pkgname-$pkgver-20230324-16568-src.tar.gz)