Opened 16 years ago

Closed 16 years ago

Last modified 15 years ago

#14410 closed update (fixed)

Updates camlp5

Reported by: mreid@… Owned by: jmroot (Joshua Root)
Priority: Normal Milestone:
Component: ports Version: 1.6.0
Keywords: update, camlp5 Cc:
Port:

Description

Patchfile to update camlp5 to its current upstream version (5.08).

Attachments (1)

Portfile.diff (838 bytes) - added by mreid@… 16 years ago.

Download all attachments as: .zip

Change History (5)

Changed 16 years ago by mreid@…

Attachment: Portfile.diff added

comment:1 Changed 16 years ago by jmroot (Joshua Root)

Owner: changed from macports-tickets@… to jmr@…
Status: newassigned

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

Resolution: fixed
Status: assignedclosed

Thanks, committed in r34934.

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

Type: enhancementupdate

comment:4 Changed 15 years ago by (none)

Milestone: Port Updates

Milestone Port Updates deleted

Note: See TracTickets for help on using tickets.