Opened 11 years ago

Closed 11 years ago

#38042 closed enhancement (fixed)

[Port Abandoned] coq

Reported by: pmetzger (Perry E. Metzger) Owned by: raimue (Rainer Müller)
Priority: Normal Milestone:
Component: ports Version:
Keywords: Cc: reilles@…, jmroot (Joshua Root), ryandesign (Ryan Carsten Schmidt)
Port: coq

Description (last modified by mf2k (Frank Schima))

It would appear that the Coq port has been abandoned.

See, for example:

There has been no sign of the maintainer replying to any ticket for the port in quite some time.

Change History (4)

comment:1 Changed 11 years ago by mf2k (Frank Schima)

Description: modified (diff)

comment:2 Changed 11 years ago by jmroot (Joshua Root)

Cc: reilles@… added

comment:3 Changed 11 years ago by neverpanic (Clemens Lang)

Cc: jmr@… ryandesign@… added
Owner: changed from macports-tickets@… to raimue@…

Re-assigning to portmgr.

comment:4 Changed 11 years ago by larryv (Lawrence Velázquez)

Resolution: fixed
Status: newclosed
Type: defectenhancement
Version: 2.1.3

I orphaned this port in r106340. Perry, would you be interested in being the official maintainer?

Note: See TracTickets for help on using tickets.