Skip to content

Commit

Permalink
Merge pull request #17430 from hannesm/mirage-xen-preparation
Browse files Browse the repository at this point in the history
opam admin add-constraint 'mirage-xen<6.0.0', and further conflicts
  • Loading branch information
mseri committed Oct 19, 2020
2 parents d7c6793 + 6db055e commit a78d7fa
Show file tree
Hide file tree
Showing 128 changed files with 368 additions and 113 deletions.
3 changes: 3 additions & 0 deletions packages/bigstringaf/bigstringaf.0.3.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -33,3 +33,6 @@ url {
src: "https://github.com/inhabitedtype/bigstringaf/archive/0.3.0.tar.gz"
checksum: "md5=739a2006067d7432743f777d7f5afcfd"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/crc/crc.1.0.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -32,3 +32,6 @@ url {
src: "https://github.com/xapi-project/ocaml-crc/archive/1.0.0.tar.gz"
checksum: "md5=09051d7cd0a4dd935d379a1584777e07"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.10.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.10.0.tar.gz"
checksum: "md5=d165e2f434bfa4d7a0e23353e38725ff"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.10.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.10.1.tar.gz"
checksum: "md5=45f0eaef250b03a7885042b3077aff20"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.10.2/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.10.2.tar.gz"
checksum: "md5=4efd9c98d8dd3483981efc89d41fc16f"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.10.3/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.10.3.tar.gz"
checksum: "md5=fc8ced9282ddbda2575a5b62b7fc99e6"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.10.4/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.10.4.tar.gz"
checksum: "md5=846f9ce0638e9a2046a4771a4c47c2d8"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.10.5/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.10.5.tar.gz"
checksum: "md5=67a4e1ba7dcf2dab40ce7cc3b517dc92"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.11.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.11.0.tar.gz"
checksum: "md5=cc6a8f3a88a1c2d0d03a4ece9aa43360"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.11.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.11.1.tar.gz"
checksum: "md5=4c44181a7d19c911d57485a179ab1713"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.11.2/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.11.2.tar.gz"
checksum: "md5=72055750770278a84965bb81aec68d87"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.11.3/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.11.3.tar.gz"
checksum: "md5=cdad9a9020611ebbeb31a47f299e5e15"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.11.4/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.11.4.tar.gz"
checksum: "md5=585ce71ec3f1b0fb3d9c9cc7fd858119"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.11.5/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.11.5.tar.gz"
checksum: "md5=20aa5fe2bc8c4c507593dd25edf1e02d"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.12.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -60,3 +60,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.12.0.tar.gz"
checksum: "md5=59e8b3f328ba00febabe2a957029cb94"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.12.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -60,3 +60,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.12.1.tar.gz"
checksum: "md5=4dd798e84b93cd97fbd605d023a0a707"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.13.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -60,3 +60,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.13.0.tar.gz"
checksum: "md5=fe066ce52fb44921314208c3e0ee6c53"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.13.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -60,3 +60,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.13.1.tar.gz"
checksum: "md5=0e1b70d28b5b9adc8c4596d9f4dff5b9"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.14.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -60,3 +60,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.14.0.tar.gz"
checksum: "md5=57875f5e5986ca6004c356d77a3b31b5"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.15.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -60,3 +60,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.15.0.tar.gz"
checksum: "md5=cf151f2713bda6ce5e43124f5f57a6b7"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.15.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -56,3 +56,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.15.1.tar.gz"
checksum: "md5=e87b2646f7597e00b8b9a1f5f8e36ee6"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.16.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -56,3 +56,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.16.0.tar.gz"
checksum: "md5=31d4f2072abd74e99ed8d70f934e3718"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.17.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -56,3 +56,6 @@ url {
checksum: "md5=8dbdf1684a5286433da6fac973ab0e5c"
}
available: false
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.17.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -55,3 +55,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.17.1.tar.gz"
checksum: "md5=508ea062105518c14fd516aa2ea9db5e"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.4.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -52,3 +52,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.4.0.tar.gz"
checksum: "md5=66edc3ea304db77205a228f12893543f"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.4.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -52,3 +52,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.4.1.tar.gz"
checksum: "md5=08a284c379e341d57b6918611b5bc56b"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.4.2/opam
Original file line number Diff line number Diff line change
Expand Up @@ -53,3 +53,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.4.2.tar.gz"
checksum: "md5=072af512312e25ebe1c9de1b5109e49e"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.5.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -53,3 +53,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.5.0.tar.gz"
checksum: "md5=769ee19704664e3c34d9938101c38869"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.5.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -53,3 +53,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.5.1.tar.gz"
checksum: "md5=92774c91b1dbc1b31a59a78cdb96611b"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.6.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -53,3 +53,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.6.0.tar.gz"
checksum: "md5=23ca5f08ce804bb7b028b8f8f641f645"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.6.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -53,3 +53,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.6.1.tar.gz"
checksum: "md5=3d542bfc1743873fc3b72bc0b567dab7"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.6.2/opam
Original file line number Diff line number Diff line change
Expand Up @@ -53,3 +53,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.6.2.tar.gz"
checksum: "md5=1066e7960cb8141d358958f909364821"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.6.3/opam
Original file line number Diff line number Diff line change
Expand Up @@ -53,3 +53,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.6.3.tar.gz"
checksum: "md5=e3fda6b626e239006bf4416e0ac0b383"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.7.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.7.0.tar.gz"
checksum: "md5=13136bfeb764764e6175b05caadccf7b"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.7.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.7.1.tar.gz"
checksum: "md5=9b26c192aaf1f5a4cf25e7a067738e75"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.7.2/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.7.2.tar.gz"
checksum: "md5=204d0967fd2a164dd2379bc126ff0eba"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.8.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.8.0.tar.gz"
checksum: "md5=9ca73b1b663b753fa9a77b65822bd119"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.8.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.8.1.tar.gz"
checksum: "md5=354661558f0d2798b1c4fcb3b483bfac"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.8.2/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.8.2.tar.gz"
checksum: "md5=6e5939389614afe4d6e71478aaf955ab"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.9.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.9.0.tar.gz"
checksum: "md5=0aa68ffa571e7c711c7b0d8c1f73a6d4"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.9.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -59,3 +59,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.9.1.tar.gz"
checksum: "md5=8ddf6772802e5cb7b162c644733b0d76"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.9.2/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.9.2.tar.gz"
checksum: "md5=1918e7e240547d3bc1bcb5f351085a20"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.9.3/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.9.3.tar.gz"
checksum: "md5=d9139f1462a61f650829c271ef407790"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.9.4/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.9.4.tar.gz"
checksum: "md5=3b023d198feee3c63783591a750ef1d1"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
3 changes: 3 additions & 0 deletions packages/ctypes/ctypes.0.9.5/opam
Original file line number Diff line number Diff line change
Expand Up @@ -58,3 +58,6 @@ url {
src: "https://github.com/ocamllabs/ocaml-ctypes/archive/0.9.5.tar.gz"
checksum: "md5=fd0d441adbb2a14a1855793895b1c71e"
}
conflicts: [
"mirage-xen" {>= "6.0.0"}
]
2 changes: 1 addition & 1 deletion packages/mirage-block-xen/mirage-block-xen.1.7.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ depends: [
"mirage-block" {>= "2.0.0"}
"ipaddr"
"io-page-xen" {>= "2.0.0"}
"mirage-xen" {>= "5.0.0"}
"mirage-xen" {>= "5.0.0" & < "6.0.0"}
"rresult"
]
build: [
Expand Down
6 changes: 3 additions & 3 deletions packages/mirage-bootvar-xen/mirage-bootvar-xen.0.7.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -21,11 +21,11 @@ build: [

depends: [
"dune" {>= "1.0"}
"mirage-xen" {>= "5.0.0"}
"lwt" {>="2.4.3"}
"mirage-xen" {>= "5.0.0" & < "6.0.0"}
"lwt" {>= "2.4.3"}
"astring"
"parse-argv"
"ocaml" { >= "4.06.0" }
"ocaml" {>= "4.06.0"}
]
url {
src:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@ bug-reports: "https://github.com/mirage/mirage-console/issues"
depends: [
"ocaml" {>= "4.06.0"}
"dune" {>= "1.0"}
"mirage-console" {=version}
"mirage-console-xen-proto" {=version}
"mirage-xen" {>= "5.0.0"}
"mirage-console" {= version}
"mirage-console-xen-proto" {= version}
"mirage-xen" {>= "5.0.0" & < "6.0.0"}
"lwt" {>= "4.0.0"}
"io-page-xen" {>= "2.0.0"}
"xenstore"
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@ bug-reports: "https://github.com/mirage/mirage-console/issues"
depends: [
"ocaml" {>= "4.06.0"}
"dune" {>= "1.0"}
"mirage-console" {=version}
"mirage-console-xen-proto" {=version}
"mirage-xen" {>= "5.0.0"}
"mirage-console" {= version}
"mirage-console-xen-proto" {= version}
"mirage-xen" {>= "5.0.0" & < "6.0.0"}
"lwt" {>= "4.0.0"}
"io-page-xen" {>= "2.0.0"}
"xenstore"
Expand Down
6 changes: 3 additions & 3 deletions packages/mirage-console-xen/mirage-console-xen.3.0.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -9,11 +9,11 @@ bug-reports: "https://github.com/mirage/mirage-console/issues"
depends: [
"ocaml" {>= "4.06.0"}
"dune" {>= "1.0"}
"mirage-console" {=version}
"mirage-console-xen-proto" {=version}
"mirage-console" {= version}
"mirage-console-xen-proto" {= version}
"xen-evtchn"
"io-page-xen"
"mirage-xen" {>= "5.0.0"}
"mirage-xen" {>= "5.0.0" & < "6.0.0"}
]
build: [
["dune" "subst"] {pinned}
Expand Down
6 changes: 3 additions & 3 deletions packages/mirage-console-xen/mirage-console-xen.3.0.2/opam
Original file line number Diff line number Diff line change
Expand Up @@ -9,11 +9,11 @@ bug-reports: "https://github.com/mirage/mirage-console/issues"
depends: [
"ocaml" {>= "4.06.0"}
"dune" {>= "1.0"}
"mirage-console" {=version}
"mirage-console-xen-proto" {=version}
"mirage-console" {= version}
"mirage-console-xen-proto" {= version}
"xen-evtchn"
"io-page-xen"
"mirage-xen" {>= "5.0.0"}
"mirage-xen" {>= "5.0.0" & < "6.0.0"}
]
build: [
["dune" "subst"] {pinned}
Expand Down

0 comments on commit a78d7fa

Please sign in to comment.