Opened 16 years ago

Closed 16 years ago

Last modified 15 years ago

#14006 closed update (fixed)

UPDATE: camlp5

Reported by: mreid@… Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version: 1.6.0
Keywords: update camlp5 Cc:
Port:

Description

This updates camlp5 to the current upstream version (5.07). Also, it has no maintainer; I'd like to do that.

Attachments (1)

Portfile.diff​ (706 bytes) - added by mreid@… 16 years ago.
Portfile patch to update port to current upstream

Download all attachments as: .zip

Change History (5)

Changed 16 years ago by mreid@…

Attachment: Portfile.diff​ added

Portfile patch to update port to current upstream

comment:1 Changed 16 years ago by raimue (Rainer Müller)

Resolution: → fixed
Status: new → closed

Thanks for your patch and taking maintainership. Feel free to ask if you got more questions about maintaining a port.

Committed your patch and added you as maintainer in r33178.

comment:2 Changed 16 years ago by raimue (Rainer Müller)

Milestone: Port Enhancements → Port Updates

comment:3 Changed 15 years ago by jmroot (Joshua Root)

Type: enhancement → update

comment:4 Changed 15 years ago by (none)

Milestone: Port Updates

Milestone Port Updates deleted

Note: See TracTickets for help on using tickets.