coq

v 8.13.2

Obsolete port, replaced by rocq

This port has been replaced by rocq.

This port is obsolete. It has been replaced by rocq.

Details

Add to my watchlist

Installations	1
Requested Installations	0

Quick Links:

About
Statistics FAQ
Git Repository
Documentation
API
Issues

MacPorts

MacPorts Home
Install MacPorts
MacPorts FAQ
MacPorts News

Port Information was updated:

a16563bf

Most recent build (in app's database) ran:
6 minutes ago

Latest stats submission was received:
8 minutes ago