git-kv is released now, no need for the pin anymore

This commit is contained in:
Hannes Mehnert 2022-11-04 10:24:58 +01:00
parent 2f8fba436c
commit 22da980482

View file

@ -79,7 +79,7 @@ let mirror =
package "h2" ;
package "hex" ;
package "httpaf" ;
package ~pin:"git+https://git.robur.io/robur/git-kv.git#main" "git-kv" ;
package "git-kv" ;
package ~min:"3.10.0" "git-paf" ;
package "opam-file-format" ;
package ~min:"2.2.0" ~sublibs:[ "gz" ] "tar" ;