Skip to content
Snippets Groups Projects
Commit 21328354 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[Opam] fixes 'depends' and 'depopts' refer to the same ppx_deriving_yojson

parent 7955b128
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 1 deletion
opam/opam
+ 0
− 1
View file @ 21328354
...@@ -139,7 +139,6 @@ depopts: [ ...@@ -139,7 +139,6 @@ depopts: [
"apron" "apron"
"coq" "coq"
"mlgmpidl" "mlgmpidl"
"ppx_deriving_yojson"
"zmq" "zmq"
] ]
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment