This port is obsolete. It has been replaced by clingo.
This port has been deleted. This page will exist till another port with the name "gringo" comes
into existence.
gringo (math/gringo) Updated: 3 years, 3 months ago Add to my watchlist
Obsolete port, replaced by clingoThis port has been replaced by clingo.
Version: 5.5.0 License: MIT3 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 11 | 33342 | 2021-06-08 13:49:04 | 0:10:41 | 6796 | build successful |
| 11.arm64 | 14973 | 2021-03-19 8:05:21 | 0:02:38 | 3895 | build successful |
| 10.8 | 7792 | 2019-11-15 20:19:45 | 0:01:26 | 1865 | failed install-port |