opam admin add-constraint 'mirage-xen<6.0.0', and further conflicts

[hannesm]

Preparation for the upcoming release of mirage-xen, which uses solo5 and ocaml-freestanding instead of minios and mirage-xen-ocaml / mirage-xen-posix (see mirage/mirage#1159 for details):

• constrain all existing dependencies to < 6.0.0
• existing mirage-xen-ocaml & mirage-xen-posix packages conflict with mirage-xen >= 6.0.0

//cc @mato

[hannesm]

I'm pretty sure there are some packages in this PR which CI won't be able to install. The cause is unlikely this PR, but if someone wants to address issues in old releases please go for it (I'm not too interested in doing that, and would instead add available: false where CI shows failures). //cc @mirage/core

[camelus]

Commit: 6db055e

A pull request by opam-seasoned @hannesm.

🌤️ opam-lint warnings 6db055e

• ctypes.0.10.0 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.10.1 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.10.2 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.10.3 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.10.4 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.10.5 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.11.0 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.11.1 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.11.2 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.11.3 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.11.4 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.11.5 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.12.0 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.12.1 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.13.0 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.13.1 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.14.0 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.4.0 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.4.1 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.4.2 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.5.0 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.5.1 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.6.0 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.6.1 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.6.2 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.6.3 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.7.0 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.7.1 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.7.2 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.8.0 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.8.1 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.8.2 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.9.0 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.9.1 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.9.2 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.9.3 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.9.4 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• ctypes.0.9.5 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• mirage-console.2.0.0 has some warnings:

  • warning 25: Missing field 'authors'
  • warning 35: Missing field 'homepage'
  • warning 36: Missing field 'bug-reports'

• mirage-console.2.1.0 has some warnings:

  • warning 25: Missing field 'authors'
  • warning 35: Missing field 'homepage'
  • warning 36: Missing field 'bug-reports'

• mirage-console.2.1.1 has some warnings:

  • warning 25: Missing field 'authors'
  • warning 35: Missing field 'homepage'
  • warning 36: Missing field 'bug-reports'

• mirage-entropy.0.4.0 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• nocrypto.0.3.1 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• nocrypto.0.4.0 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• nocrypto.0.5.0 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• nocrypto.0.5.1 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• nocrypto.0.5.2 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• nocrypto.0.5.3 has some warnings:

  • warning 47: Synopsis (or description first line) should start with a capital and not end with a dot

• These packages passed lint tests: bigstringaf.0.3.0, crc.1.0.0, ctypes.0.15.0, ctypes.0.15.1, ctypes.0.16.0, ctypes.0.17.0, ctypes.0.17.1, mirage-block-xen.1.7.0, mirage-bootvar-xen.0.7.0, mirage-console-xen-backend.3.0.1, mirage-console-xen-backend.3.0.2, mirage-console-xen.3.0.1, mirage-console-xen.3.0.2, mirage-console.2.1.2, mirage-console.2.1.3, mirage-entropy.0.4.1, mirage-entropy.0.5.0, mirage-net-xen.1.13.0, mirage-net-xen.1.13.1, mirage-os-shim.3.0.0, mirage-os-shim.3.0.1, mirage-os-shim.3.1.0, mirage-qubes.0.8.0, mirage-qubes.0.8.1, mirage-qubes.0.8.2, mirage-qubes.0.8.3, mirage-xen-ocaml.2.3.0, mirage-xen-ocaml.2.3.1, mirage-xen-ocaml.2.3.4, mirage-xen-ocaml.2.6.0, mirage-xen-ocaml.3.0.0, mirage-xen-ocaml.3.0.4, mirage-xen-ocaml.3.0.5, mirage-xen-ocaml.3.0.6, mirage-xen-ocaml.3.1.0, mirage-xen-ocaml.3.2.0, mirage-xen-ocaml.3.3.0, mirage-xen-ocaml.3.3.1, mirage-xen-ocaml.3.3.2, mirage-xen-ocaml.3.3.3, mirage-xen-posix.2.3.0, mirage-xen-posix.2.3.1, mirage-xen-posix.2.3.3, mirage-xen-posix.2.3.4, mirage-xen-posix.2.6.0, mirage-xen-posix.3.0.4, mirage-xen-posix.3.1.0, mirage-xen-posix.3.2.0, mirage-xen-posix.3.3.0, mirage-xen-posix.3.3.1, netchannel.1.13.0, netchannel.1.13.1, nocrypto.0.5.4-1, nocrypto.0.5.4-2, nocrypto.0.5.4, tcpip.2.1.0, tcpip.2.2.0, tcpip.2.2.1, tcpip.2.2.2, tcpip.2.2.3, tcpip.2.3.0, tcpip.2.3.1, tcpip.2.4.0, tcpip.2.4.1, tcpip.2.4.2, tcpip.2.4.3, tcpip.2.5.0, tcpip.2.5.1, tcpip.2.6.0, tcpip.2.6.1, tcpip.2.7.0, tcpip.2.8.0, tcpip.2.8.1, tcpip.3.0.0, tcpip.3.1.0, tcpip.3.1.1, tcpip.3.1.2, tcpip.3.1.3, tcpip.3.1.4, vchan-xen.5.0.0

---

☀️ Installability check (+0)

[hannesm]

The "basic build" of opam-ci succeeded (travis timeouted, the FreeBSD runner failed to install some ancient ctypes package). If there is anything I can do to get this PR merged, please let me know.

[mseri]

Nothing. I just wanted to go through the changes first