this repo has no description

irmin-client/server: fix dune 2.9.0 dependency and missing dev-repo

ArthurW cd225274 c65f75e4

Changed files
+6 -5
packages
irmin-client
irmin-client.3.9.0
irmin-server
irmin-server.3.9.0
+3 -3
packages/irmin-client/irmin-client.3.9.0/opam
···
license: "ISC"
homepage: "https://github.com/mirage/irmin"
doc: "https://irmin.org"
+
dev-repo: "git+ssh://github.com/mirage/irmin"
bug-reports: "https://github.com/mirage/irmin/issues"
depends: [
"ocaml" {>= "4.08.0"}
-
"dune" {>= "2.0.0"}
+
"dune" {>= "2.9.0"}
"irmin-server" {= version}
"irmin-cli" {= version}
"ipaddr"
···
"irmin-test" {= version & with-test}
]
build: [
-
["dune" "subst"] {pinned}
+
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name] {with-test}
]
-
dev-repo: "git+ssh://github.com/mirage/irmin"
url {
src:
"https://github.com/mirage/irmin/releases/download/3.9.0/irmin-3.9.0.tbz"
+3 -2
packages/irmin-server/irmin-server.3.9.0/opam
···
license: "ISC"
homepage: "https://github.com/mirage/irmin"
doc: "https://irmin.org"
+
dev-repo: "git+ssh://github.com/mirage/irmin"
bug-reports: "https://github.com/mirage/irmin/issues"
depends: [
"ocaml" {>= "4.08.0"}
-
"dune" {>= "2.0.0"}
+
"dune" {>= "2.9.0"}
"optint" {>= "0.1.0"}
"irmin" {= version}
"ppx_irmin" {= version}
···
]
build: [
-
["dune" "subst"] {pinned}
+
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name] {with-test}
]