[MacPorts] #53125: Clarify the difference between eigen3 and eigen3-devel

[MacPorts]

#53125: Clarify the difference between eigen3 and eigen3-devel
--------------------------+----------------------
  Reporter:  ksze         |      Owner:  eborisch
      Type:  enhancement  |     Status:  closed
  Priority:  Normal       |  Milestone:
 Component:  ports        |    Version:  2.3.5
Resolution:  fixed        |   Keywords:
      Port:  eigen3       |
--------------------------+----------------------

Comment (by eborisch):

 The -devel version tracks pre-release (-rcN, -beta, ...) versions of
 eigen3 when they are available. Currently there is no pre-release version,
 so they both point to the same thing.

--
Ticket URL: <https://trac.macports.org/ticket/53125#comment:3>
MacPorts <https://www.macports.org/>
Ports system for macOS