summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlex Szczuczko2015-11-06 18:18:54 +0000
committerAlex Szczuczko2015-11-06 18:18:54 +0000
commitb9eac281f4942cfed71bd83db48a288ec3b0718d (patch)
treeb962c43fd472315aced712270c6f33f52bcb938f
parent830b2e710fc603eb45cc785bf2228930e58cda1e (diff)
downloadaur-b9eac281f4942cfed71bd83db48a288ec3b0718d.tar.gz
Added texlive-latexextra to makedepends
-rw-r--r--.SRCINFO3
-rw-r--r--PKGBUILD4
2 files changed, 4 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index ba290fe5086..3ed0e6b302d 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,12 +1,13 @@
pkgbase = nusmv
pkgdesc = A new symbolic model checker
pkgver = 2.5.4
- pkgrel = 2
+ pkgrel = 3
url = http://nusmv.irst.itc.it/NuSMV/
arch = i686
arch = x86_64
license = LGPL2.1
makedepends = ghostscript
+ makedepends = texlive-latexextra
depends = expat
optdepends = perl: for scripts in /usr/share/nusmv/contrib/
source = http://nusmv.fbk.eu/distrib/NuSMV-2.5.4.tar.gz
diff --git a/PKGBUILD b/PKGBUILD
index 8b162f39a90..95edcbb63fa 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,13 +4,13 @@
pkgname=nusmv
_pkgname=NuSMV
pkgver=2.5.4
-pkgrel=2
+pkgrel=3
pkgdesc="A new symbolic model checker"
arch=('i686' 'x86_64')
url="http://nusmv.irst.itc.it/$_pkgname/"
license=('LGPL2.1')
depends=('expat')
-makedepends=('ghostscript')
+makedepends=('ghostscript' 'texlive-latexextra')
optdepends=('perl: for scripts in /usr/share/nusmv/contrib/')
source=("http://nusmv.fbk.eu/distrib/${_pkgname}-${pkgver}.tar.gz")
sha256sums=('3c250624cba801b1f62f50733f9507b0f3b3ca557ce1cd65956178eb273f1bdf')