{"name":"coq","portdir":"lang/rocq","version":"8.13.2","license":"LGPL-2.1","platforms":"darwin","epoch":0,"replaced_by":"rocq","homepage":"https://rocq-prover.org/","description":"Obsolete port, replaced by rocq","long_description":"This port has been replaced by rocq.","active":true,"categories":["lang","math"],"maintainers":[{"name":"pmetzger","github":"pmetzger","ports_count":24}],"variants":[],"dependencies":[{"type":"build","ports":["clang-18"]},{"type":"extract","ports":[null]},{"type":"fetch","ports":[null]},{"type":"lib","ports":[null]},{"type":"patch","ports":[null]},{"type":"run","ports":[null]},{"type":"test","ports":[null]}],"depends_on":[]}