typo in /sail/wiki/OPAMinstall instructions

[marniedunsmore]

ln the opam sail install instructions here:

https://github.com/rems-project/sail/wiki/OPAMInstall

"opam switch 4.06."

should be changed to

"opam switch create 4.06.1"

[rmn30]

That's new to us. What version of opam are you using? We have tested using opam 1.2.2 which is the version that is packaged in Ubuntu 18.04. Since then opam 2 was release and we have not tested with it.

[rmn30]

Did you get the instructions to work using opam 2 and above command? If so we will document it. We are still using opam 1.2.2 repository format for our custom repo.

[Alasdair]

Afaik opam 2.0+ should support the 1.2.2 repository format. Provided opam 2.0 still works with the packages it's probably worth us continuing to use the older format as at least Ubuntu 16.04 LTS and Debian stable both only have opam 1.2.2

I think we should probably also release some more up-to-date packages next week.

[marniedunsmore]

message to rmn30:

Yes, I am using opam 2.0.4. When I typed

opam switch 4.06

it prompted me, asking instead for

opam switch create 4.06

Anyway, no big deal. I was able to get sail downloaded.

[marniedunsmore]

message to Alasdair:

I'm looking forward to the updated packages.