math/coq
| Maintainer | ports@FreeBSD.org |
|---|---|
| Comment | Theorem prover based on lambda-C |
| Categories | math |
| Links | FreshPorts upstream |
Fallout list
| version | build environment | category | date (UTC) | urls |
|---|---|---|---|---|
| 8.20.1_3,3 | 144arm64-quarterly | build | detail · log · report · build queue |