[arch-commits] Commit in yices/repos/community-x86_64 (PKGBUILD PKGBUILD)

[Felix Yan]

    Date: Saturday, January 1, 2022 @ 22:30:11
  Author: felixonmars
Revision: 1092028

archrelease: copy trunk to community-x86_64

Added:
  yices/repos/community-x86_64/PKGBUILD
    (from rev 1092027, yices/trunk/PKGBUILD)
Deleted:
  yices/repos/community-x86_64/PKGBUILD

----------+
 PKGBUILD |   56 ++++++++++++++++++++++++++++----------------------------
 1 file changed, 28 insertions(+), 28 deletions(-)

Deleted: PKGBUILD
===================================================================
--- PKGBUILD	2022-01-01 22:30:03 UTC (rev 1092027)
+++ PKGBUILD	2022-01-01 22:30:11 UTC (rev 1092028)
@@ -1,28 +0,0 @@
-# Maintainer: Felix Yan <felixonmars at archlinux.org>
-# Contributor: Brent Carmer
-# Contributor: Alex J. Malozemoff <amaloz at galois.com>
-
-pkgname=yices
-pkgver=2.6.3
-pkgrel=1
-pkgdesc="The Yices SMT Solver"
-arch=('x86_64')
-url="http://yices.csl.sri.com/"
-license=('GPL')
-depends=('cudd' 'gmp' 'libpoly')
-makedepends=('gperf')
-# Since 2.6.3 sources are not published in http://yices.csl.sri.com/releases/ anymore.
-source=("https://github.com/SRI-CSL/yices2/archive/Yices-$pkgver.tar.gz")
-sha512sums=('6b80a34dde63e11af9695750ba7528b516e34a29af086ba9a50405a9e0d4637af878d6aac866c3ad8fb5eafd56e7af760b8a700e2963b0176c6de70a9ddea809')
-
-build() {
-  cd yices2-Yices-$pkgver
-  autoconf
-  ./configure --prefix=/usr --enable-mcsat
-  make
-}
-
-package() {
-  cd yices2-Yices-$pkgver
-  make DESTDIR="$pkgdir/" install
-}

Copied: yices/repos/community-x86_64/PKGBUILD (from rev 1092027, yices/trunk/PKGBUILD)
===================================================================
--- PKGBUILD	                        (rev 0)
+++ PKGBUILD	2022-01-01 22:30:11 UTC (rev 1092028)
@@ -0,0 +1,28 @@
+# Maintainer: Felix Yan <felixonmars at archlinux.org>
+# Contributor: Brent Carmer
+# Contributor: Alex J. Malozemoff <amaloz at galois.com>
+
+pkgname=yices
+pkgver=2.6.4
+pkgrel=1
+pkgdesc="The Yices SMT Solver"
+arch=('x86_64')
+url="http://yices.csl.sri.com/"
+license=('GPL')
+depends=('cudd' 'gmp' 'libpoly')
+makedepends=('gperf')
+# Since 2.6.3 sources are not published in http://yices.csl.sri.com/releases/ anymore.
+source=("https://github.com/SRI-CSL/yices2/archive/Yices-$pkgver.tar.gz")
+sha512sums=('d8102c41fda0e200fd1336ae317b516d2797d10c187b8f7aecf0c9b08b4b487b90bef8c358099b2da51c0367326939f9610fd4e6d5a41a392cf1114bd04b8763')
+
+build() {
+  cd yices2-Yices-$pkgver
+  autoconf
+  ./configure --prefix=/usr --enable-mcsat
+  make
+}
+
+package() {
+  cd yices2-Yices-$pkgver
+  make DESTDIR="$pkgdir/" install
+}