Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / z3
Commits: 2c65a6bd by Antonio Rojas at 2025-01-15T12:54:12+01:00 Use git tag in source array Fixes https://gitlab.archlinux.org/archlinux/packaging/packages/z3/-/issues/4 - - - - - 2 changed files: - .SRCINFO - PKGBUILD Changes: ===================================== .SRCINFO ===================================== @@ -1,7 +1,7 @@ pkgbase = z3 pkgdesc = High-performance theorem prover pkgver = 4.13.4 - pkgrel = 1 + pkgrel = 2 url = https://github.com/Z3Prover/z3 arch = x86_64 license = MIT @@ -15,9 +15,9 @@ pkgbase = z3 makedepends = python-build makedepends = python-installer makedepends = python-wheel - source = git+https://github.com/Z3Prover/z3.git#commit=3049f578a8f98a0b0992eca193afe57a73b30ca3 - sha512sums = b9652ba39b727d6c3a586a2b07aa9f1983b5598514168f715586b37be674543d34e6a627cf787a382f8cc60bd545e62cba95194bb19b9600098d6cc8a7fc8185 - b2sums = b913fedaa1419ac10e638ef0462d506772da070e90d774827550cc636edd9d8c342308df2b86b555c5a00c6228d733b7189a4240c75178f57941c7c9a4a20696 + source = git+https://github.com/Z3Prover/z3.git#tag=z3-4.13.4 + sha512sums = 94e5ebcaab24182de3802d3a5c0627a44635d1da3ac67c5135b6016c9b00db2a8946303667a4578680b5329ba5605749d8011b23943be205409bcb1fa7aeb97e + b2sums = a2198b365278fcb3e40ce1013891b341104e24cbd76e78bcf558f93ec8db9a833068f183370548bc4fdff25424f6985e295bba6f5a6896bc2f0763df03a1a97c pkgname = z3 depends = glibc ===================================== PKGBUILD ===================================== @@ -5,17 +5,16 @@ pkgbase=z3 pkgname=('z3' 'python-z3-solver') pkgver=4.13.4 -_commit=3049f578a8f98a0b0992eca193afe57a73b30ca3 -pkgrel=1 +pkgrel=2 pkgdesc='High-performance theorem prover' url='https://github.com/Z3Prover/z3' arch=('x86_64') license=('MIT') makedepends=('git' 'glibc' 'cmake' 'ninja' 'python' 'python-setuptools' 'gcc-libs' 'python-build' 'python-installer' 'python-wheel') -source=(git+https://github.com/Z3Prover/z3.git#commit=$_commit) -sha512sums=('b9652ba39b727d6c3a586a2b07aa9f1983b5598514168f715586b37be674543d34e6a627cf787a382f8cc60bd545e62cba95194bb19b9600098d6cc8a7fc8185') -b2sums=('b913fedaa1419ac10e638ef0462d506772da070e90d774827550cc636edd9d8c342308df2b86b555c5a00c6228d733b7189a4240c75178f57941c7c9a4a20696') +source=(git+https://github.com/Z3Prover/z3.git#tag=z3-$pkgver) +sha512sums=('94e5ebcaab24182de3802d3a5c0627a44635d1da3ac67c5135b6016c9b00db2a8946303667a4578680b5329ba5605749d8011b23943be205409bcb1fa7aeb97e') +b2sums=('a2198b365278fcb3e40ce1013891b341104e24cbd76e78bcf558f93ec8db9a833068f183370548bc4fdff25424f6985e295bba6f5a6896bc2f0763df03a1a97c') build() { cd z3 View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/z3/-/commit/2c65a6bdb733f83f133ece7eab70632d9edd2634 -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/z3/-/commit/2c65a6bdb733f83f133ece7eab70632d9edd2634 You're receiving this email because of your account on gitlab.archlinux.org.
