From 6c0b711076770c1a5e74d19da6c95c862d6df696 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Tue, 7 Jan 2025 01:19:02 +0000
Subject: [PATCH] Update devtools to 1.3.1

---
 devtools/PKGBUILD | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/devtools/PKGBUILD b/devtools/PKGBUILD
index 6f0ed54f..ad7b16ce 100644
--- a/devtools/PKGBUILD
+++ b/devtools/PKGBUILD
@@ -4,7 +4,7 @@
 
 pkgname=devtools
 epoch=1
-pkgver=1.3.0
+pkgver=1.3.1
 pkgrel=2
 pkgdesc='Tools for Arch Linux package maintainers'
 arch=('any')
@@ -71,7 +71,8 @@ prepare() {
 
 build() {
   cd ${pkgname}-${pkgver}
-  make BUILDTOOLVER="${epoch}:${pkgver}-${pkgrel}-${arch}" PREFIX=/usr
+  make BUILDTOOLVER="${epoch}:${
+pkgver=1.3.1
 }
 
 check() {