Skip to content

Commit

Permalink
Release 3.9.0
Browse files Browse the repository at this point in the history
  • Loading branch information
art-w committed Oct 6, 2023
1 parent ed91c73 commit 7d752cf
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions irmin-server.opam
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,7 @@ depends: [
"optint" {>= "0.1.0"}
"irmin" {= version}
"ppx_irmin" {= version}
"irmin-pack" {= version}
"uri"
"fmt"
"cmdliner" {>= "1.0.4"}
Expand Down

0 comments on commit 7d752cf

Please sign in to comment.