[opentheory-users] package versions

[Joe Hurd]

Hi Ramana,

> In my opinion, the "install" command, without an explicit version
> given, means "install latest, or upgrade to latest".
> So "theory" above should refer to the latest version N in the known
> repos. If M is installed with M < N it should upgrade (i.e. install
> theory-N, which obsoletes theory-M? Possibly uninstall theory-M too.).
> If M is installed with M > N it should print a message saying so and do nothing.

I agree with your proposed semantics. This feature is now implemented
in the latest release of the opentheory tool:

$ bin/mlton/opentheory install cl
installed package cl-0.2

Cheers,

Joe