Permalink
Browse files

geneweb.opam: remove piqi{,lib} pin

  • Loading branch information...
sagotch committed Jan 28, 2019
1 parent 4ef3004 commit 6a4896682e3147b5e524476547d5bd5b59e1c46d
Showing with 2 additions and 7 deletions.
  1. +2 −7 geneweb.opam
@@ -25,19 +25,14 @@ remove: [
[ make "uninstall" ]
]

pin-depends: [
[ "piqilib.dev" "git://github.com/alavrik/piqi" ]
[ "piqi.dev" "git://github.com/alavrik/piqi-ocaml" ]
]

depends: [
"camlp5" { build }
"cppo" { build }
"dune" { build>= "1.1.1" }
"ocaml" { >= "4.05" }
"ocurl" { = "0.8.1" }
"piqi" { = "dev" }
"piqilib" { = "dev" }
"piqi"
"piqilib"
"redis"
"redis-sync"
"yojson"

0 comments on commit 6a48966

Please sign in to comment.