Ticket #19326 (closed defect: fixed)
smlnj-dev: rename to smlnj-devel or remove
| Reported by: | ryandesign@… | 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
Note: See
TracTickets for help on using
tickets.
Milestone Port Bugs deleted