[opentheory-users] package versions
joe at gilith.com
Tue Sep 27 19:50:25 UTC 2011
> 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
More information about the opentheory-users