[MacPorts] #22254: coq_makefile generates Makefile with ''install -D'' lines
MacPorts
noreply at macports.org
Wed Oct 28 17:58:53 PDT 2009
#22254: coq_makefile generates Makefile with ''install -D'' lines
---------------------------------------+------------------------------------
Reporter: kiyoshi.coquser@… | Owner: reilles@…
Type: defect | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 1.8.1
Keywords: haspatch | Port: coq
---------------------------------------+------------------------------------
Changes (by jmr@…):
* keywords: => haspatch
* owner: macports-tickets@… => reilles@…
--
Ticket URL: <http://trac.macports.org/ticket/22254#comment:1>
MacPorts <http://www.macports.org/>
Ports system for Mac OS
More information about the macports-tickets
mailing list