diff --git a/vendors/ligo-opam-repository b/vendors/ligo-opam-repository index a6d8291dd..5c6dcfa9f 160000 --- a/vendors/ligo-opam-repository +++ b/vendors/ligo-opam-repository @@ -1 +1 @@ -Subproject commit a6d8291dd2fa97d53dab00ba34a5b8adc05c984b +Subproject commit 5c6dcfa9f3b230eef23cef8fef8fe079268e79dc