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

Merge pull request 'Delete useless pin-depends, everything were released' (#19) from delete-pin-depends into main

Browse source 
Reviewed-on: https://git.robur.io/robur/git-kv/pulls/19
This commit is contained in:
dinosaure 2022-10-21 14:49:23 +00:00
commit 4734261144
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"} "dune" {>= "2.0.0"}
"git" {>= "3.9.0"} "git" {>= "3.9.0"}
"mirage-kv" {>= "4.0.0"} "mirage-kv" {>= "4.0.0"}
"git-unix" "git-unix" {>= "3.10.0"}
"carton" {>= "0.6.0"}
"mirage-clock-unix" "mirage-clock-unix"
"mirage-clock" "mirage-clock"
"ptime" "ptime"
@ -21,7 +22,3 @@ build: [
["dune" "subst"] {dev} ["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs] ["dune" "build" "-p" name "-j" jobs]
] ]
pin-depends: [
[ "carton.dev" "git+https://github.com/mirage/ocaml-git.git#8cb31ed46aa2600f645dba204b164c7fce2f7037" ]
]