Coq Platform

Coq Platform es un producto de software libre en la categoría Herramientas para Desarrolladores. Se designa para uso en MacOS. Su categoría lo sitúa dentro del software destinado a apoyar la labor relacionada con el desarrollo. La información del producto disponible no especifica una función más estrecha ni un conjunto separado de características.

La licencia gratuita permite a los usuarios obtener el producto sin un requisito de compra declarado. La designación de la plataforma MacOS ayuda a los usuarios a determinar si coincide con su sistema operativo. Por lo tanto, el producto se enumera como una herramienta de desarrollo de MacOS en lugar de como una aplicación para fines generales para otras plataformas.

MirrorNest distribuye la Plataforma Coq reflejando el edificio oficial directamente en su propio almacenamiento. Esto proporciona una copia de catálogo proveniente de la construcción oficial en lugar de una edición descrita por separado. MirrorNest escanea la construcción reflejada para el malware antes de publicarlo. Por lo tanto, el listado combina la licencia gratuita del producto y la plataforma MacOS con un espejo definido y proceso de escaneo.