diff --git a/roles/dev/tasks/coq.yml b/roles/dev/tasks/coq.yml
index c9e413a..8ccb03c 100644
--- a/roles/dev/tasks/coq.yml
+++ b/roles/dev/tasks/coq.yml
@@ -11,7 +11,6 @@
   environment:
     OPAMSWITCH: default
   changed_when: false
-  ignore_errors: true
 
 - name: "Installing coq lsp: lsp install"
   ansible.builtin.command:
@@ -19,7 +18,6 @@
   environment:
     OPAMSWITCH: default
   changed_when: false
-  ignore_errors: true
 
 - name: Downloading vscode coq lsp extension
   ansible.builtin.get_url:
diff --git a/roles/dev/tasks/haskell.yml b/roles/dev/tasks/haskell.yml
index 14e2f7a..ffc3b80 100644
--- a/roles/dev/tasks/haskell.yml
+++ b/roles/dev/tasks/haskell.yml
@@ -1,5 +1,4 @@
 - name: installing hlint # TODO: install by cabal (?)
-  become: true
   ansible.builtin.dnf5:
     name:
       - hlint
diff --git a/roles/dev/tasks/main.yml b/roles/dev/tasks/main.yml
index c33477b..9350b73 100644
--- a/roles/dev/tasks/main.yml
+++ b/roles/dev/tasks/main.yml
@@ -14,7 +14,7 @@
   when: "'haskell' in tools"
 
 - name: OCaml dev environment
-  ansible.builtin.import_tasks: ocaml.yml
+  ansible.builtin.import_tasks: haskell.yml
   when: "'ocaml' in tools"
 
 - name: Coq dev environment
diff --git a/roles/dev/tasks/ocaml.yml b/roles/dev/tasks/ocaml.yml
index fe2d03f..0e0dc8f 100644
--- a/roles/dev/tasks/ocaml.yml
+++ b/roles/dev/tasks/ocaml.yml
@@ -7,17 +7,10 @@
       - gmp-devel
     state: latest
 
-- name: Initializing opam
-  ansible.builtin.command:
-    cmd: opam init
-  changed_when: false
-  ignore_errors: true
-
-- name: Creating opam default switch (5.3.0)
+- name: "Installing coq lsp: pin version"
   ansible.builtin.command:
     cmd: opam switch create default 5.3.0
   changed_when: false
-  ignore_errors: true
 
 # update fish path
 - name: Get programs list to check fish presence
diff --git a/roles/dotfiles/files/.config/helix/config.toml b/roles/dotfiles/files/.config/helix/config.toml
index 35a4850..efc064b 100644
--- a/roles/dotfiles/files/.config/helix/config.toml
+++ b/roles/dotfiles/files/.config/helix/config.toml
@@ -22,12 +22,10 @@ mouse = false
 "ret" = ":w"
 "S-left"="jump_view_left"
 "S-right"="jump_view_right"
-"A-ret" = ":pipe-to reple eval"
 
 [keys.select]
 "ы" = "yank"
 "д" = "delete_selection"
-"A-ret" = ":pipe-to reple eval"
 
 [keys.normal.space]
 l = ":toggle lsp.display-inlay-hints"