[MacPorts] #58503: mosml, mosml-dynlibs: update to 2.10.1

[MacPorts]

#58503: mosml, mosml-dynlibs: update to 2.10.1
--------------------------+---------------------------------
 Reporter:  chrstphrchvz  |      Owner:  (none)
     Type:  update        |     Status:  new
 Priority:  Normal        |  Milestone:
Component:  ports         |    Version:
 Keywords:                |       Port:  mosml mosml-dynlibs
--------------------------+---------------------------------
 2.10.1 was released in 2014, and has moved to GitHub (see #39661).

 `mosml-dynlibs` should also probably be merged into `mosml` somehow; see
 #39662.

 Other problems to address when updating: #39664, #39665

-- 
Ticket URL: <https://trac.macports.org/ticket/58503>
MacPorts <https://www.macports.org/>
Ports system for macOS