diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2013-05-15 04:05:01 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2013-05-15 04:05:01 -0500 |
| commit | b90f83b99150003a2022c3a4bbad90b12eb56b7e (patch) | |
| tree | fb2047cbeaa71fabba55e68dc8f5d4838fb5018c /community/libgnome-media-profiles | |
| parent | 61aea54ae027f4d27c2bb4f92f09b50e967bf867 (diff) | |
Add mips64el in archs
Diffstat (limited to 'community/libgnome-media-profiles')
| -rw-r--r-- | community/libgnome-media-profiles/PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/community/libgnome-media-profiles/PKGBUILD b/community/libgnome-media-profiles/PKGBUILD index 6fc7c2a8f..ca269f05d 100644 --- a/community/libgnome-media-profiles/PKGBUILD +++ b/community/libgnome-media-profiles/PKGBUILD @@ -6,7 +6,7 @@ pkgname=libgnome-media-profiles pkgver=3.0.0 pkgrel=4 pkgdesc="Library for management of audio recording profiles" -arch=('i686' 'x86_64') +arch=('i686' 'x86_64' 'mips64el') url="https://git.gnome.org/browse/libgnome-media-profiles" license=('GPL2') depends=('gconf' 'gtk3' 'gstreamer0.10-base-plugins') |