summaryrefslogtreecommitdiff
path: root/community/coq/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'community/coq/PKGBUILD')
-rw-r--r--community/coq/PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/community/coq/PKGBUILD b/community/coq/PKGBUILD
index 15223d9d4..798266553 100644
--- a/community/coq/PKGBUILD
+++ b/community/coq/PKGBUILD
@@ -5,7 +5,7 @@ pkgname=coq
pkgver=8.3pl3
pkgrel=2
pkgdesc='Formal proof management system.'
-arch=('i686' 'x86_64')
+arch=('i686' 'x86_64' 'mips64el')
url='http://coq.inria.fr/'
license=('GPL')
options=('!emptydirs')