[arch-commits] Commit in gap/trunk (PKGBUILD)

[Antonio Rojas]

    Date: Saturday, September 19, 2020 @ 13:20:35
  Author: arojas
Revision: 710874

Remove unused source

Modified:
  gap/trunk/PKGBUILD

----------+
 PKGBUILD |    1 -
 1 file changed, 1 deletion(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2020-09-19 13:18:48 UTC (rev 710873)
+++ PKGBUILD	2020-09-19 13:20:35 UTC (rev 710874)
@@ -12,7 +12,6 @@
 license=(GPL)
 source=("https://files.gap-system.org/gap-${pkgver%.*}/tar.gz/gap-$pkgver.tar.gz" gap.sh
          git+https://github.com/gap-packages/NormalizInterface#commit=cd69a42
-         git+https://github.com/gap-packages/Semigroups#commit=ff2fb291
          gap-polymake-4.0.patch
          gap-cddlib-0.94k.patch
          gap-normaliz-3.8.8.patch