From 1b1c3d13c115f5bd3aa3289de6bdc9c33bc658f8 Mon Sep 17 00:00:00 2001
From: ProgramSnail <purpurebacterium@yandex.ru>
Date: Tue, 14 Oct 2025 18:46:12 +0300
Subject: [PATCH] opam install fix

---
 roles/dev/tasks/ocaml.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/roles/dev/tasks/ocaml.yml b/roles/dev/tasks/ocaml.yml
index 0e0dc8f..065cba0 100644
--- a/roles/dev/tasks/ocaml.yml
+++ b/roles/dev/tasks/ocaml.yml
@@ -7,7 +7,12 @@
       - gmp-devel
     state: latest
 
-- name: "Installing coq lsp: pin version"
+- name: Initializing opam
+  ansible.builtin.command:
+    cmd: opam init
+  changed_when: false
+
+- name: Creating opam default switch (5.3.0)
   ansible.builtin.command:
     cmd: opam switch create default 5.3.0
   changed_when: false