Opened 15 years ago

Closed 15 years ago

#19326 closed defect (fixed)

smlnj-dev: rename to smlnj-devel or remove

Reported by: ryandesign (Ryan Carsten Schmidt) Owned by: bfulgham@…
Priority: Normal Milestone:
Component: ports Version: 1.7.1
Keywords: Cc:
Port: smlnj-dev

Description

The convention for development versions of ports is to use the suffix -devel, not -dev. Please either rename smlnj-dev to smlnj-devel, or remove smlnj-dev if it is no longer needed (I note it hasn't been updated in a year and a half).

Change History (2)

comment:1 Changed 15 years ago by (none)

Milestone: Port Bugs

Milestone Port Bugs deleted

comment:2 Changed 15 years ago by tobypeterson

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.