robur/git-kv
4
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

Delete useless pin-depends, everything were released

Browse source
This commit is contained in:
Romain Calascibetta 2022-10-21 16:47:53 +02:00
parent 46dfef5d4a
commit 91c65b57df
1 changed files with 2 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
git-kv.opam
View file

@ -11,7 +11,8 @@ depends: [
"dune" {>= "2.0.0"}
"git" {>= "3.9.0"}
"mirage-kv" {>= "4.0.0"}
"git-unix"
"git-unix" {>= "3.10.0"}
"carton" {>= "0.6.0"}
"mirage-clock-unix"
"mirage-clock"
"ptime"
@ -21,7 +22,3 @@ build: [
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
]
pin-depends: [
[ "carton.dev" "git+https://github.com/mirage/ocaml-git.git#8cb31ed46aa2600f645dba204b164c7fce2f7037" ]
]