diff --git a/bin/.opa-1.8.0.pkg b/bin/.opa-1.13.1.pkg
similarity index 100%
rename from bin/.opa-1.8.0.pkg
rename to bin/.opa-1.13.1.pkg
diff --git a/bin/opa b/bin/opa
index 5d1cbda639..42738802fa 120000
--- a/bin/opa
+++ b/bin/opa
@@ -1 +1 @@
-.opa-1.8.0.pkg
\ No newline at end of file
+.opa-1.13.1.pkg
\ No newline at end of file