Date: Tuesday, December 6, 2022 @ 17:38:01
Author: arojas
Revision: 1356836
archrelease: copy trunk to community-x86_64
Added:
libsemigroups/repos/community-x86_64/PKGBUILD
(from rev 1356835, libsemigroups/trunk/PKGBUILD)
Deleted:
libsemigroups/repos/community-x86_64/PKGBUILD
----------+
PKGBUILD | 54 +++++++++++++++++++++++++++---------------------------
1 file changed, 27 insertions(+), 27 deletions(-)
Deleted: PKGBUILD
===================================================================
--- PKGBUILD 2022-12-06 17:37:52 UTC (rev 1356835)
+++ PKGBUILD 2022-12-06 17:38:01 UTC (rev 1356836)
@@ -1,27 +0,0 @@
-# Maintainer: Antonio Rojas <[email protected]>
-
-pkgname=libsemigroups
-pkgver=2.4.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=('a08240f9b0205cabefe14661c38cf4df3c14f50ed6c4e0788e64430de55314f5')
-
-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 1356835,
libsemigroups/trunk/PKGBUILD)
===================================================================
--- PKGBUILD (rev 0)
+++ PKGBUILD 2022-12-06 17:38:01 UTC (rev 1356836)
@@ -0,0 +1,27 @@
+# Maintainer: Antonio Rojas <[email protected]>
+
+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
+}
