Bugzilla Bug 88950

I just added the ~x86 keyword to coq-8.0-r1 in package.keywords to be able to
emerge it, it works perfectly on my ~amd64 (2005.0) gentoo linux.

However, coq-7.4 has the ~amd64 keyword and conflicts with ocaml-3.08.3
while it depends on an older version.



Reproducible: Always
Steps to Reproduce:
1.only ~amd64 keyword
2.emerge coq
3.

Actual Results:  
ocaml blocks coq

Expected Results:  
install it.

It appears to work fine.  I don't know how to construct proofs in it, but it
correctly compiled the contrib proofs, and the ide works fine.

Portage 2.0.51.19 (default-linux/amd64/2005.0, gcc-3.4.3-20050110,
glibc-2.3.4.20050125-r1, 2.6.11-gentoo-r2 x86_64)
=================================================================
System uname: 2.6.11-gentoo-r2 x86_64 AMD Athlon(tm) 64 Processor 3000+
Gentoo Base System version 1.6.10
Python:              dev-lang/python-2.3.5 [2.3.5 (#1, Mar 21 2005, 16:26:03)]
dev-lang/python:     2.3.5
sys-devel/autoconf:  2.13, 2.59-r6
sys-devel/automake:  1.5, 1.8.5-r3, 1.9.5, 1.6.3, 1.7.9-r1, 1.4_p6
sys-devel/binutils:  2.15.92.0.2-r8
sys-devel/libtool:   1.5.14
virtual/os-headers:  2.6.8.1-r4
ACCEPT_KEYWORDS="amd64 ~amd64"
AUTOCLEAN="yes"
CFLAGS="-O2 -march=athlon64 -pipe"
CHOST="x86_64-pc-linux-gnu"
CONFIG_PROTECT="/etc /usr/kde/2/share/config /usr/kde/3/share/config
/usr/lib/X11/xkb /usr/lib/mozilla/defaults/pref /usr/share/config
/var/qmail/control"
CONFIG_PROTECT_MASK="/etc/gconf /etc/terminfo /etc/env.d"
CXXFLAGS="-O2 -march=athlon64 -pipe"
DISTDIR="/storage/portage/distfiles"
FEATURES="autoaddcvs autoconfig ccache distlocks sandbox"
GENTOO_MIRRORS="http://distfiles.gentoo.org
http://distro.ibiblio.org/pub/Linux/distributions/gentoo"
MAKEOPTS="-j3"
PKGDIR="/usr/portage/packages"
PORTAGE_TMPDIR="/home/portage"
PORTDIR="/usr/portage"
PORTDIR_OVERLAY="/home/portage/overlays/ebuilds"
SYNC="rsync://rsync.fprintf.net/gentoo-portage"
USE="amd64 X aac acpi alsa apache2 avi berkdb bitmap-fonts cdr crypt cscope
cups curl dga dvd dvdr encode esd ethereal fam flac font-server foomaticdb gd
gdbm gif gnome gnutls gpm gstreamer gtk gtk2 guile hal imagemagick imap imlib
ipv6 jabber jp2 jpeg ldap libclamav libg++ libwww lzo lzw lzw-tiff mad maildir
matroska mikmod mime mmap mng mozilla mp3 mpeg mpi mysql ncurses nls nptl odbc
offensive ogg oggvorbis opengl oscar oss pam pdflib perl php png python
quicktime readline real rtc samba sasl sdl sharedmem soap speex spell ssl svg
tcltk tcpd theora tiff truetype truetype-fonts type1-fonts unicode usb
userlocales vorbis wmf xface xinerama xml2 xpm xrandr xsl xv xvid zlib"
Unset:  ASFLAGS, CBUILD, CTARGET, LANG, LC_ALL, LDFLAGS, LINGUAS

fixed in cvs, thanks