[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

math/coq 8.0



-----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


Visit your host, monkey.org