Skip to content

Commit

Permalink
irmin-client/server: fix dune 2.9.0 dependency and missing dev-repo
Browse files Browse the repository at this point in the history
  • Loading branch information
art-w committed Oct 9, 2023
1 parent c65f75e commit cd22527
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 5 deletions.
6 changes: 3 additions & 3 deletions packages/irmin-client/irmin-client.3.9.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,11 @@ authors: "Zach Shipko <[email protected]>"
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"
Expand All @@ -23,11 +24,10 @@ depends: [
"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"
Expand Down
5 changes: 3 additions & 2 deletions packages/irmin-server/irmin-server.3.9.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,11 @@ authors: "Zach Shipko <[email protected]>"
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}
Expand All @@ -29,7 +30,7 @@ depends: [
]

build: [
["dune" "subst"] {pinned}
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name] {with-test}
]
Expand Down

0 comments on commit cd22527

Please sign in to comment.