-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 > completes without errors. Coq 8.4 has just been released, so it > would be good if we could update to that directly (although older
looking at https://github.com/jasperla/openbsd-wip/tree/master/math/coq, it is already updated to use Coq 8.4. Great (-: But there is one thing I want to tweak a little bit. It packages old documentation files together. It should package the current version. When I created this port, I included those documentation because I thought they help the users. But now I suspect the importance of those documents within the package... I will try to make a reduced version. Let me know if anyone feel the documents should be contained in the package. -- yozo. -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.19 (OpenBSD) iQEcBAEBCgAGBQJQOIqBAAoJEP/N++OXMoyD9dQH/Aj4YQQLcThIg7WBR8SssLSW cZ5F1zfCpAa9SmApiQJlfapaovPGaqgu86ZoOD8DLdhhbKVTTFnpeDF3de6REVN9 thCoGM3UPEbSZxn/OxRNwocaSlkUozHn0GrdKfMIFAPOC3Wk733Tt2JMrOQC27jY Mq0stecLL2Ghr7ozMfiMe4fg3XvmkcLU/B1UwaCHe8Gk5yNuMsaRHXEkQPgjODyr U4TH9Kk4dZDZe5sXnWh98hqW0yB9PIJLqQ9H8UApcDKfQpaPTWTGrQ+jv6othZWl 4lKBiZHtKn7hg1OarLM+Ga/EioEebayna4uX7RKbhnJUGqPFQuywi5QTb/X9hfk= =6ORm -----END PGP SIGNATURE-----
