Skip to content

Commit

Permalink
Fix irmin-client.opam
Browse files Browse the repository at this point in the history
  • Loading branch information
zshipko committed Aug 1, 2022
1 parent 60204c9 commit 7e3a375
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions irmin-client.opam
Original file line number Diff line number Diff line change
Expand Up @@ -3,18 +3,18 @@ synopsis: "A client for irmin-server"
maintainer: "Zach Shipko <[email protected]>"
authors: "Zach Shipko <[email protected]>"
license: "ISC"
homepage: "https://github.com/mirage/irmin-server"
doc: "https://zshipko.github.io/irmin-server"
bug-reports: "https://github.com/zshipko/irmin-server/issues"
homepage: "https://github.com/mirage/irmin"
doc: "https://irmin.org"
bug-reports: "https://github.com/mirage/irmin/issues"
depends: [
"ocaml" {>= "4.08.0"}
"dune" {>= "2.0.0"}
"irmin-server-internal" {= version}
"irmin-server" {= version}
"ipaddr"
]
build: [
["dune" "subst"] {pinned}
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name] {with-test}
]
dev-repo: "git+ssh://github.com/zshipko/irmin-server"
dev-repo: "git+ssh://github.com/mirage/irmin"

0 comments on commit 7e3a375

Please sign in to comment.