Commit in libsemigroups/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Antonio Rojas]

    Date: Wednesday, December 14, 2022 @ 20:58:17
  Author: arojas
Revision: 1359186

archrelease: copy trunk to community-x86_64

Added:
  libsemigroups/repos/community-x86_64/PKGBUILD
    (from rev 1359185, libsemigroups/trunk/PKGBUILD)
Deleted:
  libsemigroups/repos/community-x86_64/PKGBUILD

----------+
 PKGBUILD |   54 +++++++++++++++++++++++++++---------------------------
 1 file changed, 27 insertions(+), 27 deletions(-)

Deleted: PKGBUILD
===================================================================
--- PKGBUILD    2022-12-14 20:58:08 UTC (rev 1359185)
+++ PKGBUILD    2022-12-14 20:58:17 UTC (rev 1359186)
@@ -1,27 +0,0 @@
-# Maintainer: Antonio Rojas <aro...@archlinux.org>
-
-pkgname=libsemigroups
-pkgver=2.4.1
-pkgrel=1
-pkgdesc='C++ library for semigroups and monoids'
-url='https://libsemigroups.github.io'
-arch=(x86_64)
-license=(GPL3)
-depends=(fmt)
-makedepends=(eigen)
-source=(https://github.com/libsemigroups/libsemigroups/releases/download/v$pkgver/$pkgname-$pkgver.tar.gz)
-sha256sums=('fad834f2ccc88fee254c4d514e8813b33ab38e08f808cbf38976260632cb6000')
-
-build() {
-  cd $pkgname-$pkgver
-  ./configure --prefix=/usr \
-              --enable-fmt \
-              --with-external-fmt \
-              --with-external-eigen
-  make
-}
-
-package() {
-  cd $pkgname-$pkgver
-  make DESTDIR="$pkgdir" install
-}

Copied: libsemigroups/repos/community-x86_64/PKGBUILD (from rev 1359185, 
libsemigroups/trunk/PKGBUILD)
===================================================================
--- PKGBUILD                            (rev 0)
+++ PKGBUILD    2022-12-14 20:58:17 UTC (rev 1359186)
@@ -0,0 +1,27 @@
+# Maintainer: Antonio Rojas <aro...@archlinux.org>
+
+pkgname=libsemigroups
+pkgver=2.5.0
+pkgrel=1
+pkgdesc='C++ library for semigroups and monoids'
+url='https://libsemigroups.github.io'
+arch=(x86_64)
+license=(GPL3)
+depends=(fmt)
+makedepends=(eigen)
+source=(https://github.com/libsemigroups/libsemigroups/releases/download/v$pkgver/$pkgname-$pkgver.tar.gz)
+sha256sums=('706f06672bf33f7645badd62c7a719f995fa2f2b4a560e58ebe5a6ac7e05d3c0')
+
+build() {
+  cd $pkgname-$pkgver
+  ./configure --prefix=/usr \
+              --enable-fmt \
+              --with-external-fmt \
+              --with-external-eigen
+  make
+}
+
+package() {
+  cd $pkgname-$pkgver
+  make DESTDIR="$pkgdir" install
+}