search

mirage / ocaml-solo5

Freestanding OCaml runtime
Other
100 stars 30 forks source link

Rename freestanding to solo5 #114

Closed dinosaure closed 2 years ago

dinosaure commented 2 years ago

I replaced any relevant occurrence of freestanding by solo5, it should properly work (build and install) and we need to change mirage with such change. I would like a double check however, we can easily miss something important.

samoht commented 2 years ago

LGTM - should we also rename the name of the repository? And update the URLs in the opam files?

dinosaure commented 2 years ago

LGTM - should we also rename the name of the repository? And update the URLs in the opam files?

OPAM files are already updated. I will merge this PR and do the renaming.

dinosaure commented 2 years ago

LGTM - should we also rename the name of the repository? And update the URLs in the opam files?

OPAM files are already updated. I will merge this PR and do the renaming.