math/coq 8.0

[Yozo TODA <yozo_(_at_)_v007_(_dot_)_vaio_(_dot_)_ne_(_dot_)_jp>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

here is an upgrade to coq version 8.0.
making MULTI_PACKAGE to separate documentation, but
pkg_add command complains "conflict".

  package coq-8.0-docs conflicts with installed package coq-8.0

anyone advice for this?

- -- yozo.

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.3.6 (OpenBSD)

iD8DBQFA+x2iAdah/X2G1fwRAkV/AKCAZWipDxUxu7cEZX11NAEwUNlFlwCfRMKS
sWeZjTbK/IFPllDbhlzPP1k=
=Qyup
-----END PGP SIGNATURE-----

Attachment: binYzyDJErWjH.bin
Description: coq8.0.tar.gz